To clarify did you mean,

What part are you confused about?

x and a are congruent mod m means the remainder of is the same as the remainder of

Because 5 mod 1 = 0, because (with no remainder) we have,

[5] = {all integers that have a zero remainder when divided by 1} = {all integers} =

Show that [-1] is the set of all integers too.