We can use standard library definition of equivalence relation.
	modified:   Completeness.agda
	modified:   PartialMaps.agda
	modified:   Utilities.agda