最初のふたつの条件は("x",+, •, ≤)が順序線型空間となることを言うものである。