Inclusions and subtypes I: first-order case | Publicación