Las condiciones bajo las cuales las composiciones de sistemas de componentes forman un sistema de sistemas bien definido se formulan aquí a un nivel fundamental. La declaración de lo que define una composición bien definida y las condiciones suficientes que garantizan tal resultado ofrecen una visión de los ejemplares que se pueden encontrar en casos especiales como sistemas de ecuaciones diferenciales y sistemas de eventos discretos. Para cualquier estado global dado de una composición, se pueden enunciar informalmente dos requisitos: (1) el sistema puede abandonar este estado, es decir, hay al menos una trayectoria definida que comienza desde el estado; y (2) la trayectoria evoluciona con el tiempo sin quedarse atascada en un punto en el tiempo. Consideradas para cada estado global, estas condiciones determinan si el resultado es un sistema bien definido y, de ser así, si es no determinista o determinista. Formulamos estas preguntas dentro del marco de especificaciones iterativas para modelos de sistemas matemáticos que se ha demostrado que son equivalentes desde el punto de vista del comportamiento a la formalización de Especificación de Sistemas de Eventos Discretos (DEVS). Esta formalización apoya definiciones y pruebas de las condiciones mencionadas anteriormente. Se extraen implicaciones a nivel fundamental de existencia donde se puede caracterizar la emergencia de un sistema a partir de un ensamblaje de componentes. Nos centramos en sistemas con acoplamiento de retroalimentación donde la existencia y unicidad de soluciones es problemática.