Mishka> Именно, что либералы подмножество.
О размере которого мы судить ничего не можем.
Из этой фразы
"Минчук - если и не либерал, то уж точно здравомыслящий и адекватный человек."
не следует что либералы - здравомыслящие и адекватные.
Это два независимых множества атрибутов - множество либералов и множество адекватных людей.
Атрибут либерала для Минчука - вероятностен, принадлежность ко второму констатируется однозначно.
О явном взаимном соответсвии не говорится ничего - нет тезиса что "все либералы - адекватные люди"
Пустое множество - тоже подмножество
( а говоря о форуме мы оперируем конечными множествами - не более чем количество зарегистрированных пользователей форума
)