E - tranzitivna

Iz MaFiRaWiki

Množica A je \in - tranzitivna, če za vsak x\in A velja: x \subseteq A

Drugače rečeno: \forall x,y:(x \in y \Rightarrow x \in A)

Osebna orodja