A relation is a set of ordered pairs that relates inputs to outputs. A function is a special type of relation where each input is mapped to only one output. To determine if a relation is a function, check if any elements in the domain are repeated - if there are repeats, it is not a function. The domain of a relation is the set of first elements in each ordered pair, and the range is the set of second elements. Practice problems are provided to identify the domain and range of relations and determine which relations represent functions.