_1 formula_40上的关系，令则0,1矩阵称为formula_5的关系矩阵，记作formula_44。
关系图.设formula_45，formula_5是formula_29上的关系，令图formula_48，其中顶点集合formula_49，边集合为formula_50，且对于任意的formula_51，满足formula_52当且仅当formula_53。则称图formula_54是关系formula_5的关系图，记作formula_56。Section:::