There are a couple of closely related concepts in algebra that should be presented one after another. I'm not giving any background here, but if you've seen these things before, maybe this will help you remember them.
A set is a collection of things. Let A and B be sets. I will refer to the elements of A and B as a_{1}, a_{2}... a_{n} and b_{1}, b_{2}... b_{n} respectively. x ∈ A simply means that the element x is in the set A.
The Cartesian Product of two sets A and B, denoted A × B, is the set of all ordered pairs (x, y) such that x ∈ A and y ∈ B.
A relation between two sets A and B is a subset of A × B. If B = A, S is called a relation on A.
An equivalence relation (call it θ) on a set S is a relation on S such that the relation is reflexive, symmetric, and transitive. That is, ∀ x, y, z ∈ S,
A function f from A into B is a subset of A × B such that: