locus

Deductions

• geometric concept is for example locus ⇐ (locus is a geometric concept), (is a is inverse of is for example)
• arrow is subclass of locus ⇐ (arrow is subclass of shape), (shape is subclass of locus), (is subclass of is a transitive relation)
• implication arrow is subclass of locus ⇐ (implication arrow is subclass of shape), (shape is subclass of locus), (is subclass of is a transitive relation)