Second countability

Summary