Relational topology. (2018)