MasterZivну яВ этой троице (наследование, инкапсуляция и полиморфизм) всегда забавляло, что полиморфизма без наследования как-бы не бывает))))

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

Часто полиморфизмом (в т.ч. и вне ООП) называют понятие "полиморфизм как перегрузка". Например, функции с одинаковыми именами, но с параметрами разных типов (в одной и той же области видимости, конечно). Естественно, никакого отношения к ООП такие фичи не имеют, даже если они появляются именно в ООП языках (например, перегрузки функций не было С, и она появилась в С++). Впрочем, прочие базовые элементы ООП также могут быть реализованы "сами по себе".



Перекрытие методов (с параметрами разных типов) именно при наследовании (в С++) - вроде как тоже фича ООП (ибо без наследования тут никак), но к чему ее отнести - не совсем понятно. Наверное, тоже пример полиморфизма.

Имхо, про трех китов ООП знать нужно, но убиваться, стараясь натянуть реальную реализацию конкретного языка на академически глобус ООП не обязательно.