Это само определение переменной экземпляра , которое - как вы заметили - это то, что вы получаете, когда объявляете объект в разделе интерфейса.
@synthesizeдает вам синтаксический сахар для правильного создания аксессоров, но это еще один слой сверху.В некоторых случаях он может создать для вас переменную экземпляра, но это совсем другая тема.