未完成:等價類的應用