formal equivalence

noun

1. logic the relation that holds between two open sentences when their universal closures are materially equivalent