Esta estructura triple corresponde a la presentación del grupo unitario como una intersección: