SmodiS, не понял твои рассуждения.

Читаем определение: Если каждый элемент множества В является также элементом множества А, множество В называется подмножеством множества А.

Т.е. множество "проститутка", является подмножеством множества "стрипки", поскольку каждый элемент её множества, т.е. "оказание сексуальных услуг", принадлежит множеству "стрипка" ( стрипка, также, может оказывать сексуальные услуги), но никак не наоборот, как ты пишешь " что стрипки это подмножество проституток", поскольку проститутки не оказывают танцевальных услуг и у них нет этого элемента множества. Поэтому, множество "стрипки", ну никак не может быть подмножеством множества "проститутки".

Чёта логика у тебя какая-то странная. Наверное это логика стрипвокеров. Вот здесь я с тобой согласен и такую "логику" поддерживаю.