∃ Begriff aus der Mengenlehre - steht für „es gibt mindestens ein“ - ∃ o ∈ R (Es gibt mindestens einen Ochsen, der ein Rindvieh ist.)