5.1. Relations and their properties Notes | Discrete Structure BDS | TU | TABFlux