The number of sets that comprise a Relation. With Cartesian Product A1×A2×⋯×An, with n as the arity.