La tesi può essere riscritta come
$ \forall x \in V \; \implies \; x \in \bigcap_{i=1}^n S_i $
ora
$ \forall x \in V \; \implies \; x \in S_i; \forall i \in \{1,2,....,n\} \; \implies \; x \in \bigcap_{i=1}^n S_i $
Home
Profilo
Menu