ラムダ式の矢印演算子として正しいものはどれか。

インターフェースに定義できる、実装を持つメソッド（Java 8以降）を何というか。