`M={((x x),(x x)):x in RR-{0}}` என்க. * என்பது அணிப் பெருக்கல் எனக் கொள்க. * ஆனது M-ன் மீது அடைவு பெற்றுள்ளதா எனத் தீர்மானிக்க. அவ்வாறெனில், * ஆனது M -ன் மீது பரிமாற்றுப் பண்பு, சேர்ப்புப் பண்புகளையும் நிறைவு செய்யுமா எனச் சோதிக்க.(ii) `M={((x x),(x x)):x in RR-{0}}` * என்பது அணிப் பெருக்கல் எனக் கொள்க. * ஆனது M-ன் மீது அடைவு பெற்றுள்ளதா எனத் தீர்மானிக்க. அவ்வாறெனில், * ஆனது M -ன் மீது சமனிப்பண்பு, மற்றும் எதிர்மறைப் பண்புகளை நிறைவு செய்யுமா எனவும் சோதிக்க.