Bir gerçek doğrusal uzayın bir C dışbükey altkümesi için, C nin (?) B gerektirmesini doğrulayan B dışbükey altkümesi.