Объединять (складывать) можно множества, находящиеся в любых отношениях, например множества, входящие в понятия, находящиеся в отношении подчинения, такие как «юрист» (множество В) и «следователь» (множество А). Класс, представляющий собой объединение указанных множеств, включает юристов-следователей и юристов-неследователей.