畳み込みの視点から見たforall(every)とexists(some): 空集合に対するforallは常にtrueになる - Lambdaカクテル https://blog.3qe.us/entry/2023/05/30/213713

"・「配列のすべての要素が条件を満たすならtrueを返す」関数を空集合に対して適用すると、常にtrueになる
・「配列の要素が1つでも条件を満たすならtrueを返す」関数を空集合に対して適用すると、常にfalseになる"

なるほど！＞＜；