Да, верно. Если элемент a принадлежит множеству A, то можно сказать, что множество a является подмножеством множества A. То есть a ⊆ A.