Finite Relations
Finite relations contain a limited number of ordered pairs, making them easier to analyze completely. When examining finite relations, we can list every ordered pair and precisely identify the domain and range.
To determine if a relation is a function, check whether each x-value (domain element) appears exactly once. For example, in the ordered pairs (1,4), (2,0), (3,5), each x-value (1, 2, and 3) appears exactly once, making this a function. Additionally, since each y-value (4, 0, and 5) appears exactly once, this is also a one-to-one function.
Not all functions are one-to-one, however. The relation with ordered pairs (1,6), (2,6), (3,6) is a function because each x-value appears once, but it's not one-to-one since the y-value 6 repeats. Relations like (1,4), (2,4), (2,6), (3,5) aren't functions at all because the x-value 2 is paired with multiple y-values.
Visual Check: Arrow diagrams provide a quick way to verify functions—if any domain element has multiple arrows pointing from it, the relation is not a function!