User:Dfeuer/Definition:Class Bounded by Set

Definition
A class $A$ is bounded by a set $m$ iff:


 * $\forall x: x \in A \implies x \subseteq m$