A relation maps numbers from its domain to numbers in its range through a series of operations. A relation can be represented as a set of ordered pairs. The domain is the set of first elements in each ordered pair, representing the inputs. The range is the set of second elements, representing the outputs. A relation can be thought of as a machine that takes numbers as inputs and produces other numbers as outputs through some operation.