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.
In this context, F is viewed as a robust Gårding environment that influences U, while the mapping im(J) is seen as a strong Gårding structure that shapes U.