';

Cualquier conjunto abarca ciertos subtipos, que explicaremos seguidamente