> Van olyan K elem, hogy minden x,y-ra: Kxy = x (kivágja y-t)

Kxy mit jelent nem asszociatív műveletre?