Setning 1: T.d. eru eftirfarandi tvær skilgreiningar öruggar fyrir jafngild deild fyrir gildi í kannski-monad. Setning 2: T.d. eru báðar eftirfarandi skilgreiningar á öruggum deildum fyrir gildi í kannski-mónadinu jafngildar: Spurning: Eru setning 1 og setning 2 sömu merkingar? Já eða nei?
Nei, ekki.