Giả thiết của định lý "Nếu hai đường thẳng song song cắt đường thẳng thứ ba thì hai góc đồng vị bằng nhau" là: **a // b** (a và b là hai đường thẳng song song) và **c ⊥ a** (c là đường thẳng thứ ba cắt hai đường thẳng a và b).

Do đó, đáp án đúng là:

**A. a // b, a ⊥ c**.