if-then operation

if-then operation

(mathematics) implication