Options:
the transitive postulate of inequality
addition postulate of inequality
the transitive postulate of equality
comparison postulate
the multiplication postulate of inequality
the reflexive postulate of equality
the symmetric postulate of equality
