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