Още една малка забележка, за да не ти убягне от окото.
В горния пример имаме
А = {{},{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}}
което е "множеството от всички подмножества на множеството
Б = {1,2,3}
Обърни внимание, че 1 е елемент на Б, но не е елемент на А. Вместо това в А имаме елемента {1}, което никак не е същото като 1. Понеже {1} е множество съдържащо елемента 1, а пък 1 си е просто 1, каквото и да сме означили с 1 (например можехме да означим кардиналното число 1={{}}).
Ако бяхме взели "обединението на всички подмножества на Б" бихме получили:
А' = \/А = {{},1,2,3,{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}}
което изглежда по-различно, нали?
На тези едноелементни множества им казват понякога <атоми> или <точки>, и някои хора си позволяват волноста да пишат просто 1 вместо коректното {1}. Това са детайли, и дори да се пропуснат скобитя, от контекста би трябвало да е ясно за какво става дума.
Все пак, може и да бъде заблуждаващо, та е по-добре да не си позволяваме волности на езика, а да следваме стриктно математическия запис.
|