Midriaza

Urcite vas zajima, co se to ten Korek na ty statnice vlastne uci, tak jedna Věticka z Algebry jako priklad:
Veta:
Grupoid, ve kterem lze jednoznacne delit, se nazyva kvazigrupa. Kvazigrupa s jednotkovym prvkem se nazyva lupa :o). Grupoid je kvazigrupou prave tehdy, lze-li v něm dělit i kratit.

Dobre ne? To se dycky hodi...