>>>То есть, смущает то, что тип имеет несколько разных свойств?
> )) так у нас уже "тип" имеет свойство?

А почему нет? Мы объединяем элементы в множество по каким-то принципам, так? Все эти элементы имеют какие-то общие для них свойства. Я не вижу ничего странного в приписывании этих свойств элементов всему множеству -- с точки зрения теории множеств это может быть не хорошо, за строгостью речи надо следить и всегда различать множество и элемент множества, но с чисто практической точки зрения это удобно. Ну, или если ты не согласен с этими вольностями речи, я могу перефразировать своё предыдущее сообщение, с тем чтобы формулировки были бы достаточно строгими.

[add]
Хотя, бывают свойства и у множеств. Если взять множество целых чисел, то у него есть свойство замкнутости по сложению: сумма любых двух элементов этого множества будет элементом этого множества. Это не свойство какого-то элемента, это свойство именно множества. Впрочем, если мы говорим о том, что байт имеет восемь бит, но это всё же, скорее свойство байта, то есть элемента множества, а не свойство множества. Или может это всё глупая игра словами.