我觉得我得到了最简单的回答，但仍preserving 4 = ALL（ARRAY [4,5] ::整数[]）; 构造：

I think I got the shortest answer, while still preserving 4 = ALL (ARRAY[4,5]::integer[]); construct:

select
y, true = ALL (select unnest(z) is null)
from x