用关系式表示的变量间的关系