Separation, convexity and polarity in the space of normlinear functions. (3rd April 2022)