Nuprl Definition : loc-bounded-class
LocBounded(T;X) == ∃L:bag(Id). class-loc-bound{i:l}(Info;T;X;L)
Definitions occuring in Statement :
class-loc-bound: class-loc-bound{i:l}(Info;T;X;L),
Id: Id,
exists: ∃x:A. B[x],
bag: bag(T)
FDL editor aliases :
loc-bounded-class
LocBounded(T;X) == \mexists{}L:bag(Id). class-loc-bound\{i:l\}(Info;T;X;L)
Date html generated:
2015_07_17-PM-00_31_01
Last ObjectModification:
2012_02_25-PM-01_17_36
Home
Index