Processing math: 100%
ThmDex – An index of mathematical definitions, results, and conjectures.
Set of symbols
Alphabet
Deduction system
Theory
Zermelo-Fraenkel set theory
Set
Subset
Power set
Hyperpower set sequence
Hyperpower set
Hypersubset
Definition D3367
Subset algebra
Formulation 0
Let X be a D11: Set.
Let P(X) be the D80: Power set of X.
A D11: Set S is a subset algebra on X if and only if SP(X)
Formulation 1
Let X be a D11: Set.
Let P2(X) be a D4075: Hyperpower set of X.
A D11: Set S is a subset algebra on X if and only if SP2(X)
Children
D1727: Boolean algebra
D2150: Intersection algebra
D2149: Lambda algebra
D5143: Set partition
D3369: Subset structure
D86: Topology