for F, G being ext-real-membered set st -- F = -- G holds
F = G