ordered mapping

[ریاضیات] نگاشت مرتب