▾ Set of symbols
▾ Alphabet
▾ Deduction system
▾ Theory
▾ Zermelo-Fraenkel set theory
▾ Set
▾ Structure
▾ Algebraic structure
Algebraic subset structure
Formulation 0
An D548: Ordered pair $S = (X, f)$ is an algebraic subset structure if and only if
(1) $X$ is a D11: Set
(2) $f : \mathcal{P}(X) \to \{ 0, 1 \}$ (D218: Boolean function)