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)