Nuprl Definition : grp_lt
a < b == a <(g↓oset) b
Definitions occuring in Statement :
oset_of_ocmon: g↓oset,
set_lt: a <p b
Definitions occuring in definition :
set_lt: a <p b,
oset_of_ocmon: g↓oset
Latex:
a < b == a <(g\mdownarrow{}oset) b
Date html generated:
2016_05_15-PM-00_11_49
Last ObjectModification:
2015_09_23-AM-06_24_46
Theory : groups_1
Home
Index