A value that provides a natural equivalence relation.
interface has equivalence