Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - start with the Axiom of Extensionality
Restricted quantification
Restricted existential uniqueness and at-most-one quantifier
wrmo
Next ⟩
df-rmo
Metamath Proof Explorer
Ascii
Structured
Syntax definition
wrmo
Description:
Extend wff notation to include restricted "at most one".
Ref
Expression
Assertion
wrmo
wff
∃*
𝑥
∈
𝐴
𝜑