Pairs & Products

Concept of ordered pair

• Constructor (x,y)

• Selectors

  • fst,
  • snd

• Pair Equivalence

• For sets R and S, their Product, R x S is the set of all pairs built from R and S. R x S = {(x,y) | x ? R and x ?S}

• Both pairing and products can be generalised from their binary formats to n-tuples and n-products.

Previous slide

Next slide

Back to first slide

View graphic version