Почему в C++ «виртуальный» и «=0» необходимы для описания абстрактного метода? ⇐ C++

[Гость]

Как описано в разделе Язык программирования C++:

virtual void push(char c) = 0; виртуальная пустота поп () = 0; Слово виртуальный означает «может быть переопределено позже в классе, производном от этого»
Синтаксис =0 говорит о том, что функцию должен определить некоторый класс, производный от Stack.

Так зачем же нужен символ =0? Означает ли это, что производный класс должен определить эту функцию, то есть, когда =0 нет, некоторые производные классы не обязаны определять этот метод?

Я что-то запутался, нужна помощь.