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

= Классы эквивалентности
$tilde$ - эквивалентность $:= med tilde$ - симметричный предпорядок.

Класс эквивалентности $x$ по $tilde med := {y | y tilde x}$.

Фактор-множество $x$ по $tilde med := x \/ tilde med := {y subset.eq x | exists z in x
space y - "класс эквивалентности" z "по" tilde}$.
