Assertion: bounded quantifier | /r/HasProperty | ∀ x ∈ t
Facets:
Source sentences:
text: There are two bounded quantifiers: ∀ x ∈ t {\displaystyle \forall x\in t} and ∃ x ∈ t {\displaystyle \exists x\in t} .