Это запись о множествах в математике:

P ∈ B - означает, что элемент P принадлежит множеству B.
CD C - означает, что множество CD является подмножеством множества C.
альфа - обозначает произвольный элемент множества.
Ab ⋂ B - обозначает пересечение двух множеств Ab и B, то есть множество элементов, которые принадлежат одновременно множеству Ab и множеству B.
Ab ⋂ B = B - означает, что пересечение множеств Ab и B равно множеству B.