metric-space

public under mathematical-space 6, topological-space 4

List Picture As a command

• euclidean-space
• hilbert-space