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