a=b mod n if n divides b-a or if b=a+nk for some integer k.
Of course, this is just a fancy way of saying that a is the remainder when you divide b by n.