Description: The value of a continuous function from J to K at point P belongs to the underlying set of topology K . (Contributed by FL, 27-Dec-2006) (Revised by Mario Carneiro, 21-Aug-2015)