Satisfying; so, it has two operations that must satisfy the following properties; what are the properties that these two operations must satisfy?
ഇനിപ്പറയുന്ന സവിശേഷതകളെ തൃപ്തിപ്പെടുത്തുന്ന രണ്ട് പ്രവർത്തനങ്ങളുണ്ട്; ഈ രണ്ട് പ്രവർത്തനങ്ങളും പാലിക്കേണ്ട ഗുണവിശേഷതകൾ എന്തൊക്കെയാണ്?