 For reasons of convenience, weak preference is usually taken to be the primitive relation of preference logic. Then both (strict) preference and indifference are introduced as derived relations, as follows: