Bocsánat, helyesen G szabad változó (paraméter):

Minden x,y-ra: Ha x eleme G és y eleme G, akkor élvan(G,x,y)