Definition:Proper Map