
  -spec is_a_function(BinRel) -> Bool
                         when
                             Bool :: boolean(),
                             BinRel :: binary_relation().

  Returns true if the binary relation BinRel is a function or
  the untyped empty set, otherwise false.
