Un lazo es un cuasi grupo con una unidad 1 tal que "1a 0 a1 = a" para cualquier elemento a.