» 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