Nuprl Definition : hgrp_car
|g|+ == {x:|g|| e ≤ x}
Definitions occuring in Statement :
grp_leq: a ≤ b,
grp_id: e,
grp_car: |g|,
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
grp_car: |g|,
grp_leq: a ≤ b,
grp_id: e
Latex:
|g|\msupplus{} == \{x:|g|| e \mleq{} x\}
Date html generated:
2016_05_15-PM-00_13_57
Last ObjectModification:
2015_09_23-AM-06_24_52
Theory : groups_1
Home
Index