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

= Отношения
$R$ рефлексивное $:= x R x$

$R$ иррефлексивное $:= x cancel(R) x$

$R$ симметричное $:= x R y -> y R x$

$R$ антисимметричное $:= x R y -> y R x -> x = y$

$R$ транзитивное $:= x R y -> y R z -> x R z$
