Go backward to Set Constructions Go up to Top Go forward to Sum

Product

Concept of ordered pair

• Constructor (x,y)
• Selectors

  fst(x,y) = x
  snd(x,y) = y

• Product R ×S

  { (x,y) | x in R and x in S}