decided on a name for the set theory functions;