Template:Set theory/Metadata