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