2.2.4. Closure of Relations Notes | Discrete Structure BIT | TU | TABFlux