interior operator

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