Finite relational structure models of topological spaces and maps

We define the notion of homotopy pushout in the category of binary reflexive relational structures and explore its basic properties. We construct finite models in this category, of spaces and maps in Top with a view to developing systematic methods in this regard.