包容关系即集合之间元素的从属关系，也称包含关系，称集合B包容A，记为A⊆B，当且仅当A的元素必为B的元素。包容关系构成组合理论的基本序关系。因为它本身可以构造出典型的组合形态如布尔代数B(2E，⊆)，同时借助于它可以刻画更为复杂的关系。