Значок ⊂ (или ⊆) означает "включено в" (или "является подмножеством", если речь идёт о теории множеств).
Насчёт l3.
Есть такая теорема о принадлежности прямой плоскости.
"Если две точки прямой принадлежат плоскости, то и вся прямая принадлежит этой плоскости."
l3 не принадлежит альфа, т.к. она имеет ТОЛЬКО одну общую точку.