The space F is known as a strong Gårding space for U and im(J) is called a strong Gårding domain for U.
F is classified as a powerful Gårding environment for U, while im(J) is designated as a robust Gårding realm for U.