Algebraic Representation of Topologies on a Finite Set

Since the 1930s, topological counting on finite sets has been an interesting work so as to enumerate the number of corresponding order relations on the sets. Starting from the semi-tensor product (STP), we give the expression of the relationship between subsets of finite sets from the perspective of algebra. Firstly, using the STP of matrices, we present the algebraic representation of the subset and complement of finite sets and corresponding structure matrices. Then, we investigate respectively the relationship between the intersection and union and intersection and minus of structure matrices. Finally, we provide an algorithm to enumerate the numbers of topologies on a finite set based on the above theorems.