Dimostra che se:
S è sottoinsieme di T e T è sottoinsieme proprio di V
ALLORA : S è sottoinsieme proprio di V
Dimostra che se:
S è sottoinsieme di T e T è sottoinsieme proprio di V
ALLORA : S è sottoinsieme proprio di V
Partiamo dalle definizioni.
Si vuole dimostrare che se S ⊆ T e T ⊂ V allora S ⊂ V
Lo si fa in due passi.