{x|x=12k,k是整数}真包含于{x|x=4k,k是整数}
能被12整除的,一定能被4整除;反之,则不然.
{x|x=3k+/-1,k是整数}={不能被3整除的整数}
x=3k+/-1表示被3除余1或2的整数,即所有不能被3整除的整数.