ఈ వాక్యం యొక్క మరింత సంక్లిష్ట సంస్కరణను రూపొందించండి అప్పుడు g ^ (V_i) అనేది X'యొక్క ఓపెన్ ఓవర్.
వాస్తవానికి, వాక్యం యొక్క మరింత సంక్లిష్టమైన సంస్కరణ "అప్పుడు g ^ (V_i) అనేది X'మరియు g: g ^ (V_i) \\ to V_i యొక్క ఓపెన్ ఓవర్ ఒక క్లోజ్డ్ ఇమ్మర్షన్. "