Leitarniðurstöður

...disvensl''' er hugtak í [[stærðfræði]] sem óformlega mætti segja að lýsi [[vensl]]um sem mynda skiptingu á mengi svoleiðis að hvert stak er einungis í einu ...R''. Þær algengustu eru ''a ~ b'' og ''a ≡ b'' þegar augljóst er um hvaða vensl er að ræða og svo ýmsar svipaðar útfærslur eins og ''a'' ~_''R'' ...