If (>) is irreflexive, then so is O(>).
Eğer atın yoksa, kendi kendinin atısındır."