Equality testing for mathematical closures
Factory for creating mathematical closures, more equality testing