Stelling 1: Byvoorbeeld, die volgende twee definisies is veilig vir'n ekwivalente verdeling vir waardes in miskien - monade. Sin 2: Byvoorbeeld, albei volgende definisies vir ekwivalente verdeling vir waardes in die Miskien-monade is veilig. Vraag: Het sin 1 en sin 2 dieselfde betekenis? Ja of Nee?
Ja, ek het