This seems related to computational complexity theory, but in a more ‘structural’ notion as it deals not with the algorithms that are doing the comparisons but

This seems related to computational complexity theory, but in a more ‘structural’ notion as it deals not with the algorithms that are doing the comparisons but whether or not objects even have attributes you can differentiate by.