模板:等价关系

等价关系
等价	划分
结构	等价类、setoid、商集、自然映射