previous up next
Go backward to Number Quantifier
Go up to Top
Go forward to Set Sizes (Continued)
RISC-Linz logo

Set Sizes

Proposition: If A and B are disjoint with sizes m and n, respectively, then the size of their union is m+n:

forall A, B, m in N, n in N:
   (A intersection B = 0 /\  |A| = m /\  |B| = n) => |A union B| = m+n.

The size of the Cartesian product of two sets is the product of their sizes:

forall A, B, m in N, n in N:
   (|A| = m /\  |B| = n) => |A x B| = m*n.

Author: Wolfgang Schreiner
Last Modification: December 7, 1999

previous up next