曲面とは第二可算公理を満たす二次元の多様体とする。

ウィキペディアに書いてありました