Доказать справедливость отношений. не очень понимаю что за знак между скобками

Это знак включения множества слева во множество справа.Он утверждает, что все элементы множества слева принадлежат множеству справа.