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