User:Dfeuer/Definition:Class Bounded by Set

From ProofWiki
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$