Category:Bounded Classes

From ProofWiki
Jump to navigation Jump to search

This category contains results about Bounded Classes.
Definitions specific to this category can be found in Definitions/Bounded Classes.

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$

Subcategories

This category has only the following subcategory.

Pages in category "Bounded Classes"

The following 2 pages are in this category, out of 2 total.