Definition:Bounded Class

From ProofWiki
Jump to navigation Jump to search

Definition

Let $B$ be a class.


Bounded by Set

Let $x$ be a set.

$B$ is bounded by $x$ if and only if:

every element of $B$ is a subset of $x$.


Bounded Subset of Class

Let $B$ be a subclass of a class $A$.

Then $B$ is a bounded subset of $A$ if and only if:

there exists a set $x \in A$ such that $B$ is bounded by $x$


Also see


Sources