..>>597
「下位概念」という言葉をあてるのは不自然な気がするけど、C言語において定義は宣言のサブセットだよ。

>>600
その２行がコンパイルできる文脈に置かれているなら、 a は定義されている。
（初期化されていない自動変数になるので後続の printf での読み取りは未定義動作になるけど。）
「宣言と定義の文脈はコードによって変わる」は意味が分からないので否定も肯定もできない。
同じ int a; といった記述が宣言か定義か文脈によって変わる、ということならありえる。（構造体メンバの宣言とか。）