Комментарий
Приятно что многие начинают понимать, что формализации в ТК интереснее и мощнее (хотя и сложнее и менее интуитивны), чем теоретико-множественные. Тут очередная иллюстрация.
Это приятно также потому, что если будет привычка к ТК-формализации, потом не придется делать лишнюю работу по переводу теоретико-множественных формализаций в ТК. :)