0. Set of symbols
1. Alphabet
2. Deduction system
3. Theory
4. 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