第二可数空间是指有一个可数基的拓扑空间，我们也将“具备可数基”这一性质当作一条公理（第二可数性公理）放在第二可数空间的定义中（与“有限交，任意并”一同）。