A pareina nuo B stipriąja prasme, jei ir tik jei visiems galimiems pasauliams w1 ir w2 bei visiems x, kurie egzistuoja w1, ir visiems y, kurie egzistuoja w2, galioja, kad jei x pasaulyje w1 ir y pasaulyje w2 turi tas pačias B savybes, tai x pasaulyje w1 ir y pasaulyje w2 turi tas pačias A savybes.
