If world is a set - everything is unique by definition. You need to define some relation on that set to get classes of abstraction. And that's exactly what abs

If world is a set - everything is unique by definition. You need to define some relation on that set to get classes of abstraction. And that's exactly what abstraction means :)