Transitività dell'inclusione e dell'uguaglianza fra insiemi. Come dimostrare che due insiemi sono diversi. Insiemi definiti via proprietà caratteristica. Esempi. L'insieme vuoto.