Sottoinsiemi

Si dice che un insieme B è un sottoinsieme (o che è incluso) in A quando tutti gli elementi di B sono anche in A.
A={x,y}
B={x}
B [simbolo assente] A
B è incluso in A

C={x,y}
D={x,z}
D [simbolo assente] C
D NON è incluso in C