if-then operation

if-then operation

(mathematics)
Mentioned in ?