5.5. Equivalence relations Notes | Discrete Structure BDS | TU | TABFlux