El núcleo de formula_37 se define como el conjunto