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