Let A and B be any two non–empty sets. Then a function ‘’ is a rule or law which associates each element of ‘A’ to a unique element of set ‘B’.

__Notation:__

(i) Function is usually denoted by small letters i.e. etc and the Greek letter i.e. etc.

(ii) If ‘’ is a function from ‘A’ to ‘B’ then we write.

__Ordered Pair:__

Let ‘a’ and ‘b’ be any two elements then an elementis called ordered pair.

__Cartesian product:__

e.g. ,

Let ‘A’ and ‘B’ be any two non–empty sets, then the set of all those elements of the form, where , is called Cartesian product.

It is denoted by

__Binary Relation:__Let ‘A’ and ‘B’ be any two non–empty sets, then every sub–set of is called binary relation from A to B.

It is denoted by ‘’i.e.

e.g. ,

‘’ is a binary relation from A to B.

__Function as a Binary Relation:__Let ‘A’ and ‘B’ be any two non–empty sets, then a binary relation ‘’ from ‘A’ to ‘B’ is called a function iff it satisfied the following two conditions.

(i) Domain of , i.e.

(ii) For each element ‘x’ of ‘A’ there exist a unique element such that

__Domain of a Relation:__The set of the first elements of all ordered pair in a relation is called, domain of a relation.

e.g.

Dom

__Range of a Relation:__The set of the second elements of the ordered pair in a relation is called, range of a relation.

e.g.

Range

__Domain of the Function:__e.g.

For

For

For

Domain

The set of all those values of ‘x’ for which ‘y’ is finite, definite real number is called domain of the function.