wave Deductions red is subclass of wave ⇐ (red is subclass of electromagnetic wave), (electromagnetic wave is subclass of wave), (is subclass of is a transitive relation)