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}
Author:
Wolfgang Schreiner
Last Modification: October 13, 1997