包含原理

inclusion principle