5.4. Closures of relations Notes | Discrete Structure BDS | TU | TABFlux