logical_relation has definitions from the field of mathematics
1
[ noun ] (mathematics) a relation between logical propositions
*