It’s a fair distinction to make. There are AOSP ROMS that make enough changes to the code that they are no longer legally considered to be an “Android” distribution, GrapheneOS for example. I don’t know where LineageOS falls on that spectrum, but its a real possibility that the code may be drawn from AOSP, but it no longer can call itself Android. Maybe Android-based, but thats it.