First and second countability