for X being c=-linear finite set st X is with_non-empty_elements holds
card X c= card (union X)