Ah, looking at earlier posts in your sequence, I realize that you are defining abstraction in such a way that the properties of the high-level abstraction imply information about the low-level details - something like “a class XYZ star (high-level classification) has an average mass of 3.5 suns (low-level detail)”.
That explains my confusion since I forgot that you were using this definition, and was thinking of “abstraction” as it was defined in my computer science classes, where an abstraction was something that explicitly discarded all the information about the low-level details.
Ah, looking at earlier posts in your sequence, I realize that you are defining abstraction in such a way that the properties of the high-level abstraction imply information about the low-level details - something like “a class XYZ star (high-level classification) has an average mass of 3.5 suns (low-level detail)”.
That explains my confusion since I forgot that you were using this definition, and was thinking of “abstraction” as it was defined in my computer science classes, where an abstraction was something that explicitly discarded all the information about the low-level details.