Usualmente, denotamos la restricción por el mismo símbolo que la operación (global).