for X being set st not X is empty & X is finite & X is c=-linear holds
union X in X