Ксения, насколько я помню, вопрос о совпадении был ко мне, поэтому отвечу на то, что и так очевидно: "полностью совпадает" математически значит "эквивалентно", а говоря попроще — является одним и тем же либо полностью совпадает имеет одни и те же границы, состав и функции.
В теле так не бывает. Часть множества не может полностью совпадать со всем множеством.
1 Кор.
12 Ибо, как тело одно, но имеет многие члены, и все члены одного тела, хотя их и много, составляют одно тело, — так и Христос.
13 Ибо все мы одним Духом крестились в одно тело, Иудеи или Еллины, рабы или свободные, и все напоены одним Духом.
14 Тело же не из одного члена, но из многих.
15 Если нога скажет: «я не принадлежу к телу, потому что я не рука», то неужели она потому не принадлежит к телу?
16 И если ухо скажет: «я не принадлежу к телу, потому что я не глаз», то неужели оно потому не принадлежит к телу?
17 Если все тело глаз, то где слух? Если все слух, то где обоняние?
18 Но Бог расположил члены, каждый в составе тела, как Ему было угодно.
19 А если бы все были один член, то где было бы тело?
20 Но теперь членов много, а тело одно.
21 Не может глаз сказать руке: «ты мне не надобна»; или также голова ногам: «вы мне не нужны».
22 Напротив, члены тела, которые кажутся слабейшими, гораздо нужнее,
23 и которые нам кажутся менее благородными в теле, о тех более прилагаем попечения;
24 и неблагообразные наши более благовидно покрываются, а благообразные наши не имеют в том нужды. Но Бог соразмерил тело, внушив о менее совершенном большее попечение,
25 дабы не было разделения в теле, а все члены одинаково заботились друг о друге.
26 Посему, страдает ли один член — страдают с ним все члены; славится ли один член — с ним радуются все члены.
27 И вы — тело Христово, а порознь — члены.
28 И иных Бог поставил в Церкви, во-первых, Апостолами, во-вторых, пророками, в-третьих, учителями; далее, иным дал силы чудодейственные, также дары исцелений, вспоможения, управления, разные языки.
у меня примерно так же. Множества не совпадают.
Эти множества являются подмножествами одного множества.