for B being symmetrical Subset of REAL st B c= dom sec holds
sec is_even_on B