#import "cfg.typ": cfg
#show: cfg

= Порядки
$<=$ - предпорядок $:= med <=$ рефлексивное и транзитивное.

$<=$ - порядок $:= med <=$ антисимметричный предпорядок.

$<$ - строгий порядок $:= med <$ иррефлексивное и транзитивное.
