Definition:Universal Affirmative/Set Theory

From ProofWiki
Jump to navigation Jump to search

Definition

The universal affirmative $\forall x: \map S x \implies \map P x$ can be expressed in set language as:

$\set {x: \map S x} \subseteq \set {x: \map P x}$

or, more compactly:

$S \subseteq P$


Also defined as

Some sources give this rule as:

$S \cap \map \complement P = \O$

where $\map \complement P$ denotes the complement of $P$:

There are no objects which are $S$ which are not also $P$.

This is justified from Intersection with Complement is Empty iff Subset.


The advantage to this approach is that it allows the complete set of categorical statements to be be defined using a combination of set intersection and set complement operators.


Also see


Sources