 A is equivalent to M with respect to i:  A is deducible from M and M is deducible from A, both with respect to i, i.e., \(\mathbf{V(A(i))} \not= \emptyset\) and \(\mathbf{V(A(i))} = \mathbf{V(M(i))}\).