Introduction: Sets and Their Elements<\/strong><\/p>\n The theory of sets, initiated by Georg Cantor<\/a> (1845\u20131918), constitutes the basis of almost all modern mathematics<\/a>. The set concept itself cannot be defined in simpler terms. A set is often described as a collection (\u201caggregate\u201d, \u201cclass\u201d, \u201ctotality\u201d, \u201cfamily\u201d) of objects of any specified kind. However, such descriptions are no definitions, as they merely replace the term \u201cset\u201d by other undefined terms. Thus the term \u201cset\u201d must be accepted as a primitive notion, without definition. Examples of sets are as follows: the set of all men; the set of all letters appearing on this page; the set of all straight lines in a given plane; the set of all positive integers; the set of all English songs; the set of all books in a library; the set consisting of the three numbers 1, 4, 17. Sets will usually be denoted by capital letters, A, B, C, . . . , X, Y , Z.<\/p>\n The objects belonging to a set A are called its elements or members. We write x \u2208<\/a> A if x is an element of the set A, and x \/\u2208 A if it is not. Example.<\/p>\n If N is the set of all positive integers, then 1 \u2208 N , 3 \u2208 N , + \u221a 9 \u2208 N , but\u221a<\/p>\n 7 \/\u2208 N , 0 \/\u2208 N , \u22121 \/\u2208 N , 1 2 \/\u2208 N .<\/p>\n It is also convenient to introduce the so-called empty (\u201cvoid\u201d, \u201cvacuous\u201d) set, denoted by \u2205<\/a>, i.e., a set that contains no elements at all. Instead of saying that there are no objects of some specific kind, we shall say that the set of these elements is empty; however , this set itself , though empty , will be regarded as an existing thing .<\/p>\n Once a set has been formed, it is regarded as a new entity, that is, a new object, different from any of its elements. This object may, in its turn, be an element of some other set. In fact, we can consider whole collections of sets (also called \u201cfamilies of sets\u201d, \u201cclasses of sets\u201d, etc.), i.e., sets whose elements are other sets. Thus, if M is a collection of certain sets A, B, C, . . . , then these sets are elements of M, i.e., we have A \u2208 M, B \u2208 M, C \u2208 M, . . . ;<\/p>\n but the single elements of A need not be members of M, and the same applies to single elements of B, C, . . . . Briefly, from p \u2208 A and A \u2208 M, it does not follow that p \u2208 M. This may be illustrated by the following examples. Let a \u201cnation\u201d be defined as a certain set of individuals, and let the United Nations (U.N.) be regarded as a certain set of nations. Then single persons are elements of the nations, and the nations are members of U.N., but individuals are not members of U.N. Similarly, the Big Ten consists of ten universities, each university contains thousands of students, but no student is one of the Big Ten. Families of sets will usually be denoted by script letters: M, N , P, etc.<\/p>\n If all elements of a set A are also elements of a set B, we say that A is a subset of B, and write A \u2286 B. In this instance, we also say that B is a superset of A, and we can write B \u2287 A. The set B is equal to A if A \u2286 B and B \u2286 A, i.e., the two sets consist of exactly the same elements. If, however, A \u2286 B but B 6= A (i.e., B contains some elements not in A), then A is referred to as a proper subset of B; in this case we shall use the notation A \u2282 B. The empty set \u2205 is considered a subset of any set; it is a proper subset of any nonempty set. The equality of two sets A and B is expressed by the formula A = B. Instead of A \u2286 B we shall also write B \u2287 A; similarly, we write B \u2283 A instead of A \u2282 B. The relation \u201c\u2286\u201d is called the inclusion relation. Summing up, for any sets A, B, C, the following are true:<\/p>\n (a) A \u2286 A.<\/p>\n (b) If A \u2286 B and B \u2286 C, then A \u2286 C.<\/p>\n (c) If A \u2286 B and B \u2286 A, then A = B.<\/p>\n (d) \u2205 \u2286 A.<\/p>\n (e) If A \u2286 \u2205, then A = \u2205.<\/p>\n The properties (a), (b), (c) are usually referred to as the reflexivity , transitivity , and anti-symmetry of the inclusion relation, respectively; (c) is also called the axiom of extensionality<\/a> .<\/p>\n","protected":false},"excerpt":{"rendered":"