Definition:Restriction

Restriction of an Operation
In the same way that a restriction is defined on a relation, it can be defined on a binary operation.

Also see

 * Extension of a Relation
 * Extension of a Mapping
 * Extension of an Operation