O conjunto

representa o conjunto de todos os múltiplos inteiros do número

. Se

então este conjunto é, vulgarmente, a "tabuada" de x.
Daí,

é o conjunto de todos os múltiplos inteiros de

e

o conjunto de todos os múltiplos inteiros de

.
Assim, para que

seja subconjunto de

é preciso que
todos os elementos de

sejam "encontrados" em

.
Ou seja, para qualquer elementos

é necessário que exista um

tal que
para todo 
.
Logo, como b deve ser natural, é preciso que b seja tal que

com k natural, já que, daí,

.
Portanto,

deve ser divisor de

.
Por exemplo, escolha

e

.
Daí,


Note que , nesse caso,

é subconjunto de

pois

divide

. Para a situação contrária, que é o caso da questão, é o contrário:

divide

.