逻辑矩阵（或者布尔矩阵）是由布尔域B = {0, 1}组成的矩阵。这样的矩阵可以用来表示一对有限集合之间的二元关系。
关系的矩阵表示.如果"R"是有限集合"X"和"Y"之间的一个二元关系（），那么"R"可以用矩阵"M"来表示，"M"的行索引和列索引由"X"和"Y"两个集合分别给出。"M"的元素定义如下：注意，在以上定义中，假设了矩阵索引可以出自任意有限集合。如果要求索引是来自某集合}的整数，必须用一个"n"维的有限集合与集合}的双射（一一对应）来把原来集合的元素表示成整数。