module Relations.Basics.Terms where

import           Notes

makeDefs [
      "relation"
    , "unit relation"
    , "inverse relation"
    , "binary relation"

    , "reflexive"
    , "transitive"
    , "symmetric"
    , "total"
    ]

makeEx "divides is relation"
makeThm "Inverse of Inverse relation is normal"
