Transitivität der Teilbarkeit/Ableitung/Aufgabe

Formuliere mit dem zweistelligen Funktionssymbol ${}\cdot$ die Aussage, dass wenn eine Zahl ${}a$ die Zahl ${}b$ teilt und ${}b$ die Zahl ${}c$ teilt, dass dann ${}a$ auch ${}c$ teilt.