For sets we let This has the property

We introduce abbreviation:

  • is an ordered pair’ means