Fine (mathematics)

#redirect equivalence relation#Comparing equivalence relations