Если в другую сторону, то: импликация (материальная) логиканадмножество строгое (теория множеств) само понятие надмножества в русской традиции не вводится. - это высший матан.
А вообще вот: нак собственного (строгого = истинного ) подмножества. А B означает - все элементы A являются элементами B, но A не равно B. Часто путают со знаком выше.