Multi-representation associated to the numbering of a subbasis and formal inclusion relations (Logical Methods in Computer Science, 2025)