File:Translation_of_a_set.svg loading ...