Anytime we have two operations on a set you want these two operations to be well behaved with respect to each other.
நான் எடுத்துக்கொண்ட தொகுப்பின் இரண்டு செயல்பாடுகளும் ஒன்றைப் பொருத்து மற்றொன்று செயல்பட வேண்டும்.