The Answer to the Question
is below this banner.
Here's the Solution to this Question
If is a binary relation on a finite set , that is , then can be represented by the logical matrix whose row and column indices index the elements of such that the entries of are defined by:
Since be a symmetric relation on a finite set , implies , and therefore if and only if . It follows that is necessarily a symmetric matrix.