Чтобы определить, какое из указанных утверждений верно, давайте разберем каждое из них:
{a} ∈ {a, b}: Это утверждение неверно. Здесь мы говорим, что множество {a} является элементом множества {a, b}. Однако, {a, b} состоит из элементов a и b, а не из множества {a}.
{a} ⊆ {a, b}: Это утверждение верно. Множество {a} действительно является подмножеством множества {a, b}, поскольку все элементы {a} (в данном случае только a) содержатся в {a, b}.
a ⊆ {a, b}: Это утверждение неверно. Элемент a не является множеством, поэтому нельзя говорить о том, что a является подмножеством. Правильнее будет говорить, что a является элементом множества {a, b}.
{a, b} ∈ {a, b}: Это утверждение неверно. Множество {a, b} содержит элементы a и b, но само по себе (как множество) не является элементом данного множества.
Таким образом, единственным верным утверждением является утверждение 2: {a} ⊆ {a, b}.