If you're going to be pedantic, at least nail it.

Debian (Linux) and OpenWRT are distributions. They're super-sets of applications, the GNU tools and the Linux kernel (or HURD). You only need the last two to form an "operating system".

Android is a little different in that it doesn't sit on a GNU stack. I'm happier calling Android an operating system than I am Debian and OpenWRT.