Solo se requiere que los valores de tipo T0 sean comparables por igualdad.