A pair of elements grouped together in a particular order is  φarrowdomainfunctiongreatest integerimageinfinitelinearmodulusOrdered pairpqrangereal functionreal valuedxy .

If (a, b) = (x, y), then a =  φarrowdomainfunctiongreatest integerimageinfinitelinearmodulusOrdered pairpqrangereal functionreal valuedxy and b =  φarrowdomainfunctiongreatest integerimageinfinitelinearmodulusOrdered pairpqrangereal functionreal valuedxy.

If n(A) = p and n(B) = q, then n(A × B) =  φarrowdomainfunctiongreatest integerimageinfinitelinearmodulusOrdered pairpqrangereal functionreal valuedxy.

A × φ =  φarrowdomainfunctiongreatest integerimageinfinitelinearmodulusOrdered pairpqrangereal functionreal valuedxy.

The  φarrowdomainfunctiongreatest integerimageinfinitelinearmodulusOrdered pairpqrangereal functionreal valuedxy of an element x under a relation R is given by y, where (x, y) ∈ R,

The  φarrowdomainfunctiongreatest integerimageinfinitelinearmodulusOrdered pairpqrangereal functionreal valuedxy of R is the set of all first elements of the ordered pairs in a relation R.

The  φarrowdomainfunctiongreatest integerimageinfinitelinearmodulusOrdered pairpqrangereal functionreal valuedxy of the relation R is the set of all second elements of the ordered pairs in a relation R.

The  φarrowdomainfunctiongreatest integerimageinfinitelinearmodulusOrdered pairpqrangereal functionreal valuedxy of the function is the set of images.

A  φarrowdomainfunctiongreatest integerimageinfinitelinearmodulusOrdered pairpqrangereal functionreal valuedxy has the set of real numbers or one of its subsets both as its domain and as its range.

If A and B are non-empty sets and either A or B is an  φarrowdomainfunctiongreatest integerimageinfinitelinearmodulusOrdered pairpqrangereal functionreal valuedxy set.

An  φarrowdomainfunctiongreatest integerimageinfinitelinearmodulusOrdered pairpqrangereal functionreal valuedxy diagram is a visual representation of a relation.

A relation f from a set A to a set B is said to be a  φarrowdomainfunctiongreatest integerimageinfinitelinearmodulusOrdered pairpqrangereal functionreal valuedxy if every element of set A has one and only one image in set B.

A function which has either R or one of its subsets as its range is called a  φarrowdomainfunctiongreatest integerimageinfinitelinearmodulusOrdered pairpqrangereal functionreal valuedxy function.

The function f: R→R defined by f(x) = |x| for each x ∈R is called  φarrowdomainfunctiongreatest integerimageinfinitelinearmodulusOrdered pairpqrangereal functionreal valuedxy function.

The function f: R → R defined by f(x) = [x], x ∈R assumes the value of the greatest integer, less than or equal to x. Such a function is called the  φarrowdomainfunctiongreatest integerimageinfinitelinearmodulusOrdered pairpqrangereal functionreal valuedxy function.

The function f defined by f(x) = mx + c ,x ∊ R, is called  φarrowdomainfunctiongreatest integerimageinfinitelinearmodulusOrdered pairpqrangereal functionreal valuedxy function.