集合M={x|x=3k-2,k属于z},P={y|y=3n+1,n属于z},S={z|z=6m+1,m属于z}之间的关系

M为被3除余-2,即余数为1的所有整数的集合.
P为被3除余1的所有整数的集合
所以M=P
S为被6除余1的所有整数的集合,它被3除也余1.所以它显然包含于M（或P）
另外,M（或P）中的元素被6除余1或余4,所以S是真包含于M（或）P
故M,P,S的关系是：
M=P真包含S