Cualquier conjunto comprende determinados subtipos, cual narraremos seguidamente