There is a topic in mathematics known as Set Theory which mainly deals with the calculations and studies of sets related to mathematical logic, which in informal language is called the collections of objects.

Into a set, several objects of different kinds can be collected together, however, when it comes to the topic Set theory, it involves objects that are related to one another and are mathematically concerned as well or in other words collected objects relevant to the field of study as a whole. The two German mathematicians, Richard Dedekind and Georg Cantor in the year 1870s, are the ones who initiated this study of set theory.

This set theory particularly deals with Relations and the different types of relations which are considered the most important topics in the study of set theory. The theory includes chapters related to sets, relations, and functions that have a relationship with each other. The term Sets refers to a collection of various elements that are in order and the relations and functions of the terms are used in defining several operations that will be performed on the sets. Relations, in fact give us the connection that two different given sets have. Relations can also state the connections that exist within the given sets.

Definition of Relation

In the subject of mathematics, the term relation is usually used to define a relationship that exists between two given sets. While considering a case containing two sets, if there exists a connection between the two then the relation that exists between them can be well-defined or well-established. The relation can exist only between the elements belonging to two different sets that are not empty. Let’s take an example, in the assembly of a school, all the students have to stand and make a queue on the basis of their heights in the ascending order. This particular example explains the relationship that exists between the students and their heights. Hence a set of ordered pairs is known as a relation.

Fig 1: A mapping showing the relation existing from a given set A to a given set B.

The relation is said to be a subset of A x B. From the above example the pairs in order and which have a connection with each other are listed below:

Ã˜  (1,c)

Ã˜  (2,n)

Ã˜  (5, a) and

Ã˜  (7,n).

The following notations have been you for the definition of a set:

1.    Domain: The set {1, 2, 5, 7} represents the domain and

2.    Range: The set {a, c, n} is the range.

Relationship between Sets and Relations

The terms set, and relation are interconnected with each other as a relation is used to describe the existing relationship between the two different given sets. In order to check if there exists a connection between the available two sets, relations are used which can describe the relationship. An example for this, two given sets are said to have an empty relation in the case if these two sets do not contain elements which are same.

Domain and Range

The two main words used in set theory are the Domain and Range of a relation. The domain is said to be the set containing all the first elements from the ordered pairs as discussed in the above section. Range is a term that is used for a set that contains all the second elements of the given ordered pairs. There is an easy trick in knowing the range of a relation. In the above mapping we see that Set B contains elements that are in a relation with the first set. Hence set B can be either equal to the range of relation or can be bigger.

Let us consider x and y to be the two sets where elements from each form an ordered pair. Let’s say that both set x and set y have a relation, then all the elements belonging to set x are said to be the domain i.e., the set of the first elements of the ordered pairs and the ones under set y, i.e., the set of all the second elements of the ordered pairs are said to be the range. Thus, domain can be written as domain (R) = {a A: (a, b) R for some b B} and range of R = {b B: (a, b) R for some a A}.

Hence, Domain (R) = {a : (a, b) R} and Range (R) = {b : (a, b) R}

Inverse Relation

The relation is inverse and becomes observable only when elements of a particular set have inverse pairs of the other set. Example, if set A is {(a, b), (c, d)}, the inverse relation is R-1 = {(b, a), (d, c)}. Therefore, R-1 = {(b, a): (a, b) R}

Let R be a relation. Consider R to be {(a,8), (1,6), (2,4)}12 then Domain is {a,1,2} and range is {8,6,4}. The inverse of R is {(8,a), (6,1), (4,2)}. The domain then = {8,6,4} and range = {a, 1,2}.