"k" を、線型空間 "v" に含まれる対称な凸体とする。