195
правок
Изменения
м
typo
==Множества==
В помеченном мире формализме помеченных объектов <tex dpi="350">MSet=Set</tex>, потому что не бывает одинаковых элементов в множествах.
===Ограниченная конструкция===
{{Определение|definition=Ограниченным множеством <tex dpi="350">A=Set_k(B)</tex> {{---}} назовём множество из <tex dpi="350">k</tex> объектов (порядок не важен).}}
Рассмотрим <tex dpi="350">\left \{ a_1, a_2, ..., a_k \right \} \in Set_k(B)</tex> и разобьем последовательности в <tex dpi="350">Seq_k(B)</tex> на классы эквивалентности по признаку равенства множеств элементов в них.
<tex dpi="350">Set(A)(t)=\sum_{k=0}^{\infty}\frac{A(t)^k}{k!}=e^{A(t)}</tex>
Можно рассматривать <tex dpi="350">Set(A)</tex> как композицию урны и <tex dpi="350">A</tex>, то есть другими словами, можно вместо атомов взяты в урне взять объекты класса <tex dpi="350">A</tex>.
==Циклы==
