:: deftheorem Def33 defines EXACTLY MMLQUERY:def 33 :
for X being ConstructorDB
for A being FinSequence of the Constrs of X st the carrier of X <> {} holds
EXACTLY A = { x where x is Element of X : x ref = rng A } ;