conditional relation Synonyms

implication logical implication