Множество А равно множеству В, если одновременно множество А является подмножеством множества В, и множество В является подмножеством множества А (ТМ). Именно теорема была заложена в название посвященное союзу великого норвежского математика Нильса Хенрика
