this comes up in math too. there are many situations where we don’t need mathematical objects to be platonic copies to treat them “equally” so we work with equivalence relations instead.