理解が逆なんだよ。
関数の組 (ときには片方のこともある) を変数として抽象化しようとするのがプロパティであって、
メンバ変数のアクセサとしても使えるのは用例のひとつでしかない。

ゲッタとセッタが自動生成できるとかいうのはまた別問題だるぉおおお