Definition Reloid $f$ is totally bounded iff for every $E \in \mathrm{GR}\, f$ there exists a finite cover $S$ of $\mathrm{Ob}\, f$ such that $\forall A \in S : A \times A \subseteq E$.