Abstract
We define a topo-system on a group as a set of subgroups satisfying certain topology-like conditions. We study some fundamental properties of groups equipped with a topo-system (topo-groups) and using a suitable formalization of a subgroup filter, we prove a Tychonoff type theorem for the direct product of topo-compact topo-groups.