GS Chandys states: >i) Unless I misunderstand, the relationship "more abstract than" is simply a 'specification' of the relationship "more ... than" - and that is *fairly* well understood (*though probably more understanding is desirable, perhaps even required!)
What is "more abstract": a Euclidean straight line infinitely long, or the concept of a arbitrary "real number"? Prove your result ;-)
For real work, dependent on such a relation, one would require a more operational definition I think.
GS Chandy asks: >Is the "Parnas" you discuss "David Parnas"
Yes, nice guy. I spent an afternoon with him back in the 90s. I always appreciated the clarity he brought to subjects sometimes fraught with "abstractness".