Nuprl Definition : ordered_bs_tree
ordered_bs_tree(E;cmp) == {tr:bs_tree(E)| bs_tree_ordered(E;cmp;tr)}
Definitions occuring in Statement :
bs_tree_ordered: bs_tree_ordered(E;cmp;tr),
bs_tree: bs_tree(E),
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
bs_tree: bs_tree(E),
bs_tree_ordered: bs_tree_ordered(E;cmp;tr)
FDL editor aliases :
ordered_bs_tree
Latex:
ordered\_bs\_tree(E;cmp) == \{tr:bs\_tree(E)| bs\_tree\_ordered(E;cmp;tr)\}
Date html generated:
2016_05_15-PM-01_51_12
Last ObjectModification:
2016_04_07-PM-06_30_57
Theory : tree_1
Home
Index