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