Schreibweise Mengen vertikaler Strich

Question

{ x∈ℕ I 10 <x>25 ∧ x ist durch 3 teilbar}

Was bedeutet dieser vertikale Strich vor der 10 ???

Answer 1

| bedeutet in der Mengenklammer " für die gilt"

{ x∈ℕ I 10 <x>25 ∧ x ist durch 3 teilbar}

Menge aller x∈ℕ, für die gilt: 10 <x>25 ∧ x ist durch 3 teilbar