>>452
普通に。
これらが完備離散付値環になるその位相。