同値

左右の命題が互いに相手を導くことを表します。