**algebraic subset structure**if and only if

(1) | $X$ is a D11: Set |

(2) | $f : \mathcal{P}(X) \to \{ 0, 1 \}$ (D218: Boolean function) |

▾ Set of symbols

▾ Alphabet

▾ Deduction system

▾ Theory

▾ Zermelo-Fraenkel set theory

▾ Set

▾ Structure

▾ Algebraic structure

▾ Alphabet

▾ Deduction system

▾ Theory

▾ Zermelo-Fraenkel set theory

▾ Set

▾ Structure

▾ Algebraic 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) |