Es la terminación lógica de todas las uniones desproporcionadas.