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

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