Disjunct

Van Wikipedia

Dit artikel gaat over de term disjunct in de verzamelingenleer. Een disjunct is ook een onderdeel van een logische disjunctie.

Twee verzamelingen A en B worden disjunct genoemd wanneer zij geen gemeenschappelijke elementen hebben. Dus A en B zijn disjunct wanneer er geen element v bestaat waarvoor zowel geldt als . Anders geformuleerd: A en B zijn disjunct indien hun doorsnede leeg is (de doorsnede van A en B is de lege verzameling).

Voorbeeld: ieder positief tienvoud is deelbaar door zowel 2 als door 5; dus elk tienvoud is geen priemgetal. De verzameling van alle priemgetallen en de verzameling van alle positieve tienvouden zijn daarom disjunct. Zij hebben geen gemeenschappelijke elementen, hun doorsnede is de lege verzameling.