quindi se scrivo A = B sse A è sottoinsieme di B e B è sottoinsieme di A.
questa è una equivalenza e dice: che queste 2 proposizioni sono entrambe vere o entrambe false ?
quindi se A è sottoinsieme di B e B sottoinsieme di A diciamo A = B, mentre se non vale la prima allora A non è sottoinsieme di B.