Tweeplaatsige relatie: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
Madyno (overleg | bijdragen)
Madyno (overleg | bijdragen)
Regel 92:
 
Zij ''R'' een tweeplaatsige relatie over ''A'' en ''B''. Het '''complement''' van ''R'', genoteerd als ''R''<sup>c</sup> of als <span style="text-decoration: overline;">''R''</span>, is de tweeplaatsige relatie over ''A'' en ''B'' waarvoor geldt dat
:voor alle ''a'' ∈ ''A'' en ''b'' ∈ ''B'' geldt: ''a'' ''R'' <sup>c</sup> ''b'' desda niet ''a'' ''R'' ''b''.
 
Merk op dat voor alle tweeplaatsige relaties ''R'' geldt dat