Definition of isolated point