Syntax Definition wmo 2046

Description: Extend wff definition to include uniqueness ("there exists at most one 𝑥 such that 𝜑").

Hypotheses

Ref	Expression
wph	wff 𝜑
vx	setvar 𝑥

Assertion

Ref	Expression
wmo	wff ∃*𝑥𝜑

See definition df-mo 2049 for more information.