الجملة 1: مثلاً، التعريفين التاليين آمنين لقسمة معادلة للقيم في ربما-مونواد. الجملة 2: على سبيل المثال، كلا التعريفين التاليين للقسمة الآمنة للقيم في موناد ربما متكافئين: سؤال: هل الجملة الأولى والجملة الثانية تعبر عن نفس المعنى؟ نعم او لا؟