module Functions.Basics.Terms where

import           Notes

makeDefs [
      "function"
    , "partial function"
    , "corange"
    , "codomain"
    , "preimage"
    , "total"
    , "binary function"
    , "ternary function"
    , "unit function"
    ]
