一个命题含有一个关系及一个主题。