91Ó°ÊÓ

A subset is a fundamental concept in set theory, essential for understanding how different sets relate to one another. If every element of a set \( A \) is also an element of a set \( B \), we say that \( A \) is a subset of \( B \), which is denoted as \( A \subseteq B \). For example, in the exercise above, it is stated that \( S_4 = \{2, 4\} \subset R \), meaning every element in \( S_4 \) is found in the set of all real numbers \( R \). It's important to remember that the subset relation is inclusive, so \( A \) could be equal to \( B \). However, if there is at least one element in \( B \) that is not in \( A \), then \( A \) is a "proper" subset of \( B \), written as \( A \subset B \). Moving back to the exercise, the statement \( S_1 \subset S_3 \) would typically be false if \( S_1 \) and \( S_3 \) are equal because subsets must specifically be smaller in the "proper" context.

Just as a subset is contained within another set, a superset contains another set. When set \( A \) holds all the elements of set \( B \), we call \( A \) a superset of \( B \), written as \( A \supseteq B \). An example from the exercise is \( S_1 \supset S_4 \), where \( S_1 \), containing all elements from \( S_4 \) and more, qualifies as a superset. It's crucial to recognize that the notation \( \supseteq \) includes the possibility that \( A \) and \( B \) are equal. This inclusive definition mirrors that of subsets. If \( A \) strictly has more elements than \( B \), this would be called a "proper" superset, denoted by \( A \supset B \). Recognizing the symbiotic relationships between subsets and supersets helps solidify how sets function in relation to each other.

The empty set, often denoted by \( \varnothing \) or \( \{\} \), is a unique set that contains no elements. It plays a special role in set theory because it is universally a subset of any set, making it an inherent building block of mathematical reasoning. In the exercise, we see the statement \( \varnothing \subset S_2 \). By definition, this is true because the empty set doesn't require any prerequisites to be considered a subset; it vacantly fits into any other set by default. This property of the empty set simplifies many logical arguments and proofs within mathematics as it ensures foundational stability, serving as an anchor point for more complex constructions.

Set equality is a straightforward but vital concept in understanding set relations. Two sets \( A \) and \( B \) are considered equal if they consist of exactly the same elements, meaning \( A = B \). The order doesn’t matter in sets, so long as every member of \( A \) is in \( B \) and vice-versa. For example, in the exercise, \( S_1 = \{2, 4, 6\} \) and \( S_3 = \{4, 2, 6\} \) are evaluated. Since both hold the same elements regardless of order, they are equal, confirming \( S_1 = S_3 \) as true. This principle is fundamental: being equal means having no element in one that isn’t in the other. Understanding set equality is pivotal in solving many mathematical queries that rely on precise matching of sets.