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

 * Definition:Extension of Relation
 * Definition:Extension of Mapping
 * Definition:Extension of Operation