for F, G, H, I being ext-real-membered set st F c= G & H c= I holds
F -- H c= G -- I