含意

左の命題が成り立つとき右の命題も成り立つ関係です。