identity package:ersatz

Constructs the identity relation <math>.