restriction operator

[ریاضیات] عملگر تحدید