Nuprl Definition : xxlinorder

xxlinorder(T;R) ==  Linorder(T;x,y.R x y)


Definitions occuring in Statement :  linorder: Linorder(T;x,y.R[x; y]),  apply: f a
Definitions occuring in definition :  linorder: Linorder(T;x,y.R[x; y]),  apply: f a
Latex:
xxlinorder(T;R)  ==    Linorder(T;x,y.R  x  y)


Date html generated: 2016_05_15-PM-00_01_24
Last ObjectModification: 2015_09_23-AM-06_23_42

Theory : gen_algebra_1


Home Index