User:Dfeuer/Definition:Class Bounded by Set
Jump to navigation
Jump to search
Definition
A class $A$ is bounded by a set $m$ iff:
- $\forall x: x \in A \implies x \subseteq m$
A class $A$ is bounded by a set $m$ iff: