>>762
>"同値類”概念は 必須でなく、本質でもない！
数学屋の実感としては
多くの場面で必須であり、本質である。