ThmDex – An index of mathematical definitions, results, and conjectures.
▼ Set of symbols
▼ Alphabet
▼ Deduction system
▼ Theory
▼ Zermelo-Fraenkel set theory
▼ Set
▼ Structure
▼ Algebraic structure
Definition D5071
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)