
[;1m  is_a_function(BinRel)[0m

  Returns [;;4mtrue[0m if the binary relation [;;4mBinRel[0m is a function or
  the untyped empty set, otherwise [;;4mfalse[0m.
