Bài tập 5, Phụ lục 0

Cho $A$ là một assemblage trong một lý thuyết $\mathscr{T}$, $T$ là một số hạng trong $\mathscr{T}$, và $x$ là một chữ cái. Nếu $(T|x)A$ là một số hạng (tương ứng, một quan hệ), thì $A$ là một số hạng (tương ứng, một quan hệ). (Dùng Bài tập 4.)