Term
|
Definition
| A nonempty set S of real numbers where every nonempty subset of S has a least element. |
|
|
Term
|
Definition
| The smallest positive integer n such that P(n) is a false statement. |
|
|
Term
|
Definition
| By a function f from A to B, A is the domain of f. |
|
|
Term
|
Definition
| the second coordinates of element f |
|
|
Term
|
Definition
| A relation of R defined on a set A where x R y, then y R x for all x, y element of A. |
|
|
Term
|
Definition
| A relation R on a set A that is reflexive, symmetric, and transitive. |
|
|
Term
|
Definition
| a set X is a set of nonempty subsets of X such that every element x in X is in exactly one of these subsets. |
|
|
Term
|
Definition
|
|
Term
|
Definition
| a set of equivalence classes referred as integers modulo n |
|
|
Term
|
Definition
| a relation between a given set of elements (the domain) and another set of elements (the codomain), which associates each element in the domain with exactly one element in the codomain. |
|
|
Term
|
Definition
| How the function orders the sets |
|
|
Term
|
Definition
| A function f from a set A to a set B where every two distinct elements of A have distinct images in B. |
|
|
Term
|
Definition
| A function f from a set A to a set B where every element of the codomain is the image of some element of A. |
|
|
Term
|
Definition
| A function f from a set A to a set B that is both one-to-one and onto. |
|
|
Term
|
Definition
| The application of one function to the results of another. ex g(f(x)). |
|
|
Term
|
Definition
| The function from B to A, when the original function was from A to B |
|
|
