Syntax Definition wmo 2205

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

Hypotheses

Ref	Expression
wph	wff φ
vx	setvar x

Assertion

Ref	Expression
wmo	wff ∃*xφ

See definition df-mo 2209 for more information.