Syntax Definition wpo 4031

Description: Extend wff notation to include the strict partial ordering predicate. Read: ' 𝑅 is a partial order on 𝐴.'

Hypotheses

Ref	Expression
cA	class 𝐴
cR	class 𝑅

Assertion

Ref	Expression
wpo	wff 𝑅 Po 𝐴

See definition df-po 4033 for more information.