Какая запись соответствует утверждению: ^ «множество Е подмножество множества F »?

Для утверждения "множество E является подмножеством множества F" запись будет выглядеть следующим образом: E ⊆ F. Символ ⊆ обозначает отношение, при котором каждый элемент множества E также является элементом множества F или, иными словами, множество E содержится в множестве F.