Класс определённый "внутри другого" называется вложенным.
Внутренний класс - это нестатический вложенный класс (дело в том, что вложенный класс может быть и статическим).
Статический вложенный класс не может ссылаться на нестатические члены класса, в который он вложенн, а потому подобные (статические) вложенные класссы используются редко.
Члены внутреннего класса известны только внутри него самого не могут быть использованы внешним классом.
super - фактически является словом-заменой для констуктора родительского класса в коде класса-наследника не только позволяет избежать дублирования кода, но и инициаллизировать родительским конструктором поля, которые для класса наследника могут быть не вообще не доступны - то есть способствует выполнению принципа инкапсуляции в ООП
В констуруторе наследника достаточно написать (передав необхожимые аргументы- если они нужны. в примере ниже мы вызовем конструтор родительского класса без аргуметов):
Герберт Шилдт пишет: "Важно понимать, что доступность объекта (его части - прим. автора этой заметки) определяется типом ссылочной переменной, а не типом объекта на которой она ссылается "
Обратно, пусть $ \varphi$ - некоторое отношение эквивалентности между элементами множества $\Large M$ и $\Large K_a$ - класс элементов...."
Необходима запятая - хотя бы во имя понимания текста, иначе может показаться, что отношение эквивалентности имеет место между множеством $\Large M$ и классом элементов $\Large K_a$ из этого же множества.
