Definitions
,
Results
,
Conjectures
▾
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