There are many kinds of relationship in the world, relationship with our family, friends,
and other people that surrounds us. But in this topic, the relation is a set subset of a
Cartesian product. And it is also connotes the idea of association between two entities.
Similarly, the objects of mathematics may be related in various ways. A set A may be
said to be related to a setB if A is a subset of B, or if A is not a subset of B, or if Aand
B have at least one element in common. A number X may be said to be related to a
number Y if X <Y , or if X is a factor of Y , or if x 2+ = 1.
Relation
Let A and B be sets. A relation R from A to B is a subset of AXB. Given an ordered pair
( x , y ) in AXB, x is related to y by R.written x R y, if , and only if, (x , y ¿ is in R. The set A
is called the domain of R and the set B is called its co-domain.
The notation for a relation R may be written symbolically as follows:
x R y means that ( x , y )€ R.
The notation x R y means that x is not related to by R:
x R y means that ¿) € R
Function is a relation from a set X into another set Y such that every element may
have exactly one corresponding paired element. A function F from a set A and co-
domain Bthat satisfies the following two properties;
1. For every element X ∈ A , there is an ele ment Y ∈B such that (x , y ) € F .
2. For every element X ∈ A∧Y ∧Z∈B , if ( x , y ) € F ,then Y =Z .
The relation is a subset of a Cartesian product and function is a special kind of relation
specially, if F and G are functions from a set A to a set B , then F={(x , y ) € AX
BLY =F (X ) }and g=( x , y )=€ AX BLY =g (x) }
F equal g, written f =g , if ∧only if , f ( x)=g ( x)¿ all X ∈ A .
In section 2.2, we showed that ordered pairs can be defined in terms of sets and we
defined Cartesian product in terms of ordered pair. In this section we introduce relations
as subsets of Cartesian product. Thus we can now define function in a way that defends
only on the concept of set.
Some example of relation will see under the Relation as a subset, and the circle
relation. And in this chapter also include the arrow diagram of relation, function machine
and function defined by formulas. And function, with an example of function and
relationship on finite sets. The relation is a subset of a Cartesian product and function is
a special kind of relation specially, if F and G are functions from a set A to a set B, then
F={(x , y ) € AX BLY =F (X ) }∧g=(x , y )=€ AX BLY =g( x )}