discrete equivalence classes