if-then operation

if-then operation

(mathematics)