フィルタの交叉性は有限のそれが必要で無限のそれは不要。
論理式は有限長だから有限連言を満たす必要はあるが無限連言は不要。