:: deftheorem Def34 defines ATLEAST- MMLQUERY:def 34 :
for X being ConstructorDB
for A being FinSequence of the Constrs of X
for n being Nat st the carrier of X <> {} holds
ATLEAST- (A,n) = { x where x is Element of X : card ((rng A) \ (x ref)) <= n } ;