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:
2011_08_16-AM-11_29_58
Last ObjectModification:
2011_06_30-PM-12_19_55
Home
Index