 All of these are ways of weakening the transitivity of \(\succcurlyeq\). Thus, if \(\succcurlyeq\) satisfies transitivity then \(\succ\) and \(\sim\) are also transitive, and furthermore, IP-transitivity, PI-transitivity and acyclicity hold.