Isn’t it usually the opposite, gratis (because if it’s open source, you could just build it yourself, unless there’s a proprietary build env or hosted env) but not necessarily libre (because of the license?)

So wouldn’t gratis normally be the superset of libre.

Then there’s a set of gratis but not open source… someone should do a venn diagram.