complement package:ersatz

Constructs the complement relation <math> of a relation <math>, which is defined by <math>.