Subjunction (logic)
Alternative term for a
(Material) conditional
.