Hva er partiell ordning?
Klikk for å snu kortet
Refleksiv, antisymmetrisk (aRb∧bRa⇒a=baRb\land bRa\Rightarrow a=baRb∧bRa⇒a=b), transitiv. Hasse-diagram.
Space / Enter for å snu