My contention still stands as to roots and derivations of both terms.

However, I see too many, non-biased sites defining "regressive tax" as you do, to see the point in arguing. This battle was lost 50 years ago. The definition has apparently become an accepted one. I find that very disturbing.

For the record, I personally find the term to be a loaded one, and I disagree with it.