This sort of pedantry is how you get people to stay away from free software.
Linux is synecdoche for an OS, and has been for decades no matter how much rms complains.
Unix is metonomy for a range of Unix-like systems, including FreeBSD even through the latter is not fully compliant with and certified to the Single UNIX Specification, and despite The Open Group's trademark control.