つまり、→＜と←＜は同値ではないのか。
　　x
　　△　　　　　　　　　x
　a　　 b　　＞→　　△
　△　　△　　　　　y　　z
y　　c　　z
は常に成り立つけど、
　　x
　　△　　　　　　　　　x
　a　　 b　　＞←　　△
　△　　△　　　　　y　　z
y　　c　　z
は成り立つとは限らないってわけだな。
それって演算としてどうなんだろう？