Nuprl Definition : mk-coset

mk-coset(T;f) ==  <T, f>


Definitions occuring in Statement :  pair: <a, b>
Definitions occuring in definition :  pair: <a, b>
FDL editor aliases :  mk-coset
Latex:
mk-coset(T;f)  ==    <T,  f>


Date html generated: 2018_07_29-AM-09_49_32
Last ObjectModification: 2018_05_30-PM-10_28_15

Theory : constructive!set!theory


Home Index