How can I write “for each pair A and B” or just “for each” in Set builder notation

Question

I want to define a property of rigid bodies in Set builder theory : Let A and B be two arbitrary chosen points on a rigid bodies, then the distance between A and B will alwa