These things are defined by being left-total and right-unique. A set of these things is denoted by "raising" one set to the power of another set. They are typically denoted by a name followed by a colon, a set, an arrow, and another set. The arity of one of these things is the number of arguments it accepts. These .