In this application we will compute new issues related to Finite Topological Spaces. The new procedures are:
- A procedure to generate Excluded point topology.
- A procedure to Check if a given topology is Excluded point topology or not.
- A procedure to find the number of proper open sets in a given excluded point topology.
- A procedure to find all excluded point topologies over a given set.
- A procedure to generate included point topology.
- A procedure to check if a given topology is included point topology or not.
- A procedure to find the number of proper open sets in a given included point topology.
- A procedure to find all included point topologies over a given set.
