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