[erlang-questions] map elements in defined order

[Richard A. O'Keefe]

The current thread has left me somewhat confused.

Suppose E1 and E2 are different computations,
delivering maps M1 and M2 respectively, such
that M1 =:= M2 is true.

Are we guaranteed that term_to_binary(M1) and
term_to_binary(M2) are equal binaries?