Go backward to Functions as Sets Go up to Top Go forward to Examples

Examples

•  add: (N × N) => N

  { ((0,0),0), ((1,0),1), ((0,1),1),
  ((1,1),2), ((2,0),2), ((2,1),3),
  ((2,2),4), ...}

•  duplicate: R => R ×R, = {1,4,7}

  { (1,(1,1)), (4,(4,4)), (7,(7,7)) }

•  which: (B+N) => {isbool,isnum}

  { ((zero,true), isbool),
  ((zero,false), isbool),
  ((one,0), isnum), ((one,1), isnum),
  ((one,2), isnum), ...}

•  singleton: N => P(N)

  { (0,{0}),(1,{1}),...,(n,{n}),...}

• nothing: B intersect N => B

  {}