Question: Write a computer program that produces the desired output from the given input
Input: The elements in a finite set S and a list of ordered pairs representing a binary relation on S Output: Statement indicating whether the relation is one-to-one, one-to-many, many-to-one, or manyto-many.