% $Id$
FiniteSet(E, C): trait
  includes
    Set(E, C) % @@ LSL Set trait shouldn't assume C generated by {}, insert
		% that should be added in this FiniteSet trait