Fazendo as contas de dividir sempre teremos respostas no conjunto: *
dividindo dois naturais dá natural
dividindo dois inteiro dá inteiro dividindo dois racionais dá racional