Erosion operator: