Nuprl Definition : mk-set
mk-set(Item;set;member;empty;isEmpty;singleton;add;union;remove) ==
  λx.x["set" := set]["member" := member]["empty" := empty]["isEmpty" := isEmpty]["singleton" := singleton]["add" := add]
  ["union" := union]["remove" := remove]
Definitions occuring in Statement : 
lambda: λx.A[x]
, 
token: "$token"
FDL editor aliases : 
mk-set
Latex:
mk-set(Item;set;member;empty;isEmpty;singleton;add;union;remove)  ==
    \mlambda{}x.x["set"  :=  set]["member"  :=  member]["empty"  :=  empty]["isEmpty"  :=  isEmpty]
    ["singleton"  :=  singleton]["add"  :=  add]["union"  :=  union]["remove"  :=  remove]
Date html generated:
2016_05_17-PM-01_44_05
Last ObjectModification:
2013_03_18-PM-10_40_46
Theory : datatype-signatures
Home
Index