Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Alexander van der Vekens
Unordered pairs
Set of proper unordered pairs
cprpr
Next ⟩
df-prpr
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cprpr
Description:
Extend class notation with set of proper unordered pairs.
Ref
Expression
Assertion
cprpr
class
PrPairs