Transitività dell'inclusione e dell'uguaglianza fra insiemi con dimostrazione. Come dimostrare che due insiemi sono diversi. Insiemi definiti via proprietà caratteristica, dimostrazioni per assurdo, insieme vuoto, proprietà caratteristiche in cui la variabile non appare esplicitamente, equivalenza  logica definite tramite uguaglianza fra insiemi. Esempi