Editing Ontology:Q819 (section)

=== Components ===

<dl class="wikitable hue">
{{HueRoster|P=model combines claims| [S2] Sets are collections of unique objects / Set cardinality measures a set's number of elements which are unique and partly defines the set }}
{{HueRoster|P=model combines claims| [Z2] Sets are equal if they contain all of the same unique elements / axiom of extensionality }}
{{HueRoster|P=model combines claims| [S2] Sets can contain other sets }}
{{HueRoster|P=model combines claims| [S2] Sets cannot contain themselves / Every non-empty set contains a member which makes it not equivalent to itself / axiom of regularity }}
{{HueRoster|P=model combines claims| [Z2] Every element in a set is a set / No element in a set is an atom (atomic data structure) }}
{{HueRoster|P=model combines claims| [Z2] Any two sets can join into a greater set / For any two sets there can be a set containing them / axiom of pairing }}
{{HueRoster|P=model combines claims| [S2] Any element in a set can represent the whole set / When constructing a new set out of one element from each set it does not matter which one is used / AC (axiom of choice) }}
</dl>