然数集合{1, 2, 3, 4}的二元关系"整除"由以下自然数对集合组成：相应的布尔矩阵表示为：
一些性质.表示有限集合上的相等关系矩阵是单位矩阵，即对角线的元素均为1，其他元素为0。如果布尔域被看作是半环的，加法对应于逻辑或，乘法对应于逻辑与，两个关系的合成的矩阵表示等于表示这些关系的矩阵的矩阵乘法。