Functions ( × ) ( : ) ( ) ( ) ( × ) \ ( \ ) ( { , } ) ( { } )

A functionfunction is a left-total, right-unique relation in