设S是一个半群,M是S-系。M的包含图记为G(M),G(M)是无向简单图,它的顶点集由M的非平凡子系构成,顶点集中任意不同的两点是连接的当且仅当其中一个非平凡子系包含在另一个非平凡子系之中。基于该定义对这类图的完全性、连通性、直径、围长、团数和色数等性质进行了研究。