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

= Equivalences
A relation is an equivalence $:=$ it's a symmetric preorder

An equivalence class of an element $x := {y | y tilde x}$ 

A quotient set $:=$ a set of the equivalence classes
