Functions × : × \ \ { , } { }

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