( Indiscrete ∧ Has multiple points ) ⇒ ¬ Has an isolated point

Evident from the definitions.

• Converse
• References

The converse ( ¬ Has an isolated point ⇒ ( Indiscrete ∧ Has multiple points )) does not hold, as witnessed by

Id	Name	Indiscrete	Has multiple points	Has an isolated point
124	Roy's lattice subspace
1103	Supercontinuum power of a countable discrete space