Cuando este océano cristalizó, minerales como olivino y piroxeno habrían precipitado y se habrían hundido para formar el manto lunar.