formal equivalence

formal equivalence noun

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