Mặt (tô pô) – Theo ngôn ngữ khác