論理学における「⊃」は、論理包含「→」を表すことがあります
「ならば」ですね