Y un segundo conjunto K que tiene con A una ley de composición externa: