Những tính chất nào xác định kích thước trong lý thuyết mạng?
Von Neumann đã cung cấp một khám phá trừu tượng về kích thước trong các mạng tôpô mô-đun bổ sung hoàn chỉnh: "Kích thước được xác định, cho đến một phép biến đổi tuyến tính dương, bởi hai tính chất sau.