Well-defined function

I need to show that the following formula yields a well-defined function:

f: Z8 --> Z8 defined by f([x]8) = [mx]8 for any m belonging to Z.

Quote:

---

Originally Posted by page929

I need to show that the following formula yields a well-defined function:

f: Z8 --> Z8 defined by f([x]8) = [mx]8 for any m belonging to Z.

---

Tonio