Um gerador automático de números aleatórios utiliza  os seguintes conjuntos ao gerar os números: R o conjunto de  todos  os  números  inteiros  divisíveis  por  2;  S  o  conjunto  de  todos os números inteiros divisíveis por 3; e T o conjunto de  todos  os  números  inteiros  divisíveis  por  6.  Esse  gerador  possui  algumas  afirmações  verdadeiras  sobre  esses  conjuntos. 
O conjunto T é um subconjunto de S.