1

対、直積

同値関係