数学的構造
「主基集合と副基集合から、直積とべき集合をとることを繰り返して得られる集合(階梯と呼ばれる)にある集合(構造と呼ばれる)が含まれる」ということを表す論理式。複数あってもよい。