It refers to a statement such that first part assures that a certain object exists

and is universal since its second part says that the question fulfills a specific
property for everything of a specific kind.

- Existential Universal Statement

Two functions are said to be equal if and only they have the same set of ordered
pairs (x,y).

- Equality of Functions

It refers to given elements a and b, the symbol (a,b) denotes the ordered pair
consisting of a and b noting that a is the first element of the pair b is the
second element .Any two ordered pairs (a,b) and (c,d) are said to be equal if and
only if, a=c and b=d.

- Ordered Pair

It refers to any two sets denoted by A and B such that every element of A is also
an element of B then A is called subset of B, written A ⊆ B,

- Subset

It refers to a statement that is universal because its initial part says that a
certain property is true for all objects of a given sort, and it is existential
because its second part assets the presence of something.

- Universal Existential Statement.

It refers to a statement that is both universal and conditional which contains some
variation of the words "for all" and conditional statements contain versions of the
words "if-then".

- Universal Conditional Statement

It refers to denoting a set by enumerating all of its elements between braces.

- Set- Roster Notation

When two sets form a collection of ordered pairs of (x,y) each of which coming from
each set then it is said that x R y.

- Relation

It refers to given sets A and B denoted by A x B read as "A cross B" where the set
of ordered pairs (a,b) where a is in A and b is in B.

- Cartesian Product

When two quantities x and y are related so that for some range of values of x the
value of y is determined by that of x then we say that y is a function (f) of x.

- Function