contraction operator

[ریاضیات] عملگر انقباض