Define closed sets, closures, accumulation points