For sets we let
This has the property

We introduce abbreviation:

  • is an ordered pair’ means