[∈]下積みとは何だろうか