<math> h:(-\infty,0]\to [0,\infty)</math> <math>h(x)=-x</math> היא הומיאו'. עכשיו אפשר לשים לב שמתקיים <math>f(A)=g(A\cap [0,\infty))\cup h(A\cap (-\infty,0])</math>.
מהשוויון הזה והתכונות של <math>g,h</math> ניתן להסיק שf סגורה. אגב אפשר באמצעות השוויון הזה גם להסיק שהפונקציה פתוחה. --[[משתמש:מני ש.|מני]] 16:34, 17 ביולי 2013 (IDT)
== מרחב מכפלה ==
היי
רציתי לשאול בבקשה אם יש לי קבוצה פתוחה A ב-Y*Y
ויש לי (x,y) ששייך ל-A.
האם אני יכול להגיד שבגלל שA פתוחה בY*Y אזי קיימת U*V בסיסית כך ש
(x,y) שייך ל U*V ו U*V מוכלת ב-A?תודה רבה!