Отношение включения – это отношение вида и рода. Множество А является частью или подмножеством множества В, если каждый элемент А есть элемент В. Отражается в виде формулы А є В (множество А входит в множество В). В отношении принадлежности класса принадлежит классу А и записывается как а є А. Отношение тождества подразумевает, что множества А и В совпадают. Это закрепляется как А є В.