Definition:Complex Locally Euclidean Space