Search results
Results from the WOW.Com Content Network
This article lists mathematical properties and laws of sets, involving the set-theoretic operations of union, intersection, and complementation and the relations of set equality and set inclusion. It also provides systematic procedures for evaluating expressions, and performing calculations, involving these operations and relations.
One easily sees that this yields a partial order. For example neither 3 divides 13 nor 13 divides 3, so 3 and 13 are not comparable elements of the divisibility relation on the set of integers. The identity relation = on any set is also a partial order in which every two distinct elements are incomparable.
Then an ordinal number is, by definition, a class consisting of all well-ordered sets of the same order type. To have the same order type is an equivalence relation on the class of well-ordered sets, and the ordinal numbers are the equivalence classes. Two sets of the same order type have the same cardinality.
Set is the prototype of a concrete category; other categories are concrete if they are "built on" Set in some well-defined way. Every two-element set serves as a subobject classifier in Set. The power object of a set A is given by its power set, and the exponential object of the sets A and B is given by the set of all functions from A to B.
Within set theory, many collections of sets turn out to be proper classes. Examples include the class of all sets (the universal class), the class of all ordinal numbers, and the class of all cardinal numbers. One way to prove that a class is proper is to place it in bijection with the class of all ordinal numbers
As an example, "is less than" is a relation on the set of natural numbers; it holds, for instance, between the values 1 and 3 (denoted as 1 < 3), and likewise between 3 and 4 (denoted as 3 < 4), but not between the values 3 and 1 nor between 4 and 4, that is, 3 < 1 and 4 < 4 both evaluate to false.
You can find instant answers on our AOL Mail help page. Should you need additional assistance we have experts available around the clock at 800-730-2563.
A set with precisely two elements is also called a 2-set or (rarely) a binary set. An unordered pair is a finite set; its cardinality (number of elements) is 2 or (if the two elements are not distinct) 1. In axiomatic set theory, the existence of unordered pairs is required by an axiom, the axiom of pairing.