De tegenverzameling is een verzameling bestaande uit onwaarheden. Alles wat niet een ware uitspraak is, is een element in deze verzameling. In het bijzonder bevat de verzameling overoveraftelbaar () veel tegenspraken.
Voorbeelden
Aftelbare deelverzamelingen van de tegenverzameling:
- Fout bij het parsen (SVG (MathML kan worden gebruikt via een browserplugin): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{\neg A, \neg B, \neg C \}} met Fout bij het parsen (SVG (MathML kan worden gebruikt via een browserplugin): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A,B,C} ware uitspraken.
- Fout bij het parsen (SVG (MathML kan worden gebruikt via een browserplugin): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{ \text{'THAT SHED IS WHERE THE CHOSEN ONES GO TO DINE WITH THE SKINNY GODS'} \}}
- Fout bij het parsen (SVG (MathML kan worden gebruikt via een browserplugin): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{\text{'The brother gives the oats'}, \text{'The lamp is reachable'}, \text{'THE FIGURES ARE NO CONSUMERS, BROTHER'} \}}
- Fout bij het parsen (SVG (MathML kan worden gebruikt via een browserplugin): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{ \text{'Heed its light, brother'} \}}
Een overoveraftelbare isomorfie met de tegenverzameling:
- Fout bij het parsen (SVG (MathML kan worden gebruikt via een browserplugin): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{ 'x = y' : x,y \in \mathbb{R} \and x \not = y \}}