Comment by ceph_

All dolphins are whales. Not all whales are dolphins. It's a square / rectangle situation.

Orcas are indeed dolphins, and also whales.