compact(x)
Keep the elements x_i of collection x such that is_non_empty(x_i) is true.
x_i
x
is_non_empty(x_i)
true