The term external is useful for describing certain algebraic structures. The term comes from the concept of an external binary operation which is a binary operation that draws from some external set. To be more specific, a left external binary operation on S over R is a function and a right external binary operation on S over R is a function where S is the set the operation is defined on, and R is the external set (the set the operation is defined over).