for F being set st not F is empty & F is with_non-empty_elements & F is c=-linear holds
F is centered