Приветствую! Дано мн-во X={a, b, c, d}; мн-во А состоит из всех подмножеств множества X. При этом на А задано бинарное отношение:

содержат одинаковое количество элементов. Бинарное отношения является отношением эквивалентности, это понятно, но каким будет фактор-множество? Точнее говоря, каковы классы эквивалентности, его составляющие? Это классы [a], [{a, b}], [{a, b, c}], [{a, b, c, d}] ?