Stream.allMatch(p) において、ストリームが空(empty)の場合の戻り値はどれか。

「すべての要素が条件を満たす」という命題は、要素がない場合に空虚な真(Vacuously True)としてtrueを返す。