1 sakinys: Pavyzdžiui, šie du apibrėžimai yra saugūs lygiaverčiam suskirstymui vertybių " gal " - " monadoje ". 2 sakinys: Pavyzdžiui, abi toliau pateiktos lygiaverčio padalijimo vertės " Galbūt " monadoje apibrėžtys yra saugios. Klausimas: Ar 1 ir 2 sakiniai reiškia tą pačią reikšmę? Taip ar ne?
Taip