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