▾ Set of symbols
▾ Alphabet
▾ Deduction system
▾ Theory
▾ Zermelo-Fraenkel set theory
Set
<No formulations for this definition yet>
Child definitions
» D191: Binary cartesian set product
» D70: Set difference
» D78: Subset
» D666: Transitive set