Al igual que para cualquier anillo topológico, podemos preguntarnos si ("R", "m") es completo; si no lo es, se puede considerar su complexión que de nuevo es un anillo local.