To clarify, let's begin with a straightforward example. An ordered pair is ... to precisely one OUTPUT. Note: All functions are relations, but not all relations are functions.