This is a straightforward generalization of the customary definition of totally bounded sets on uniform spaces:
Definition Reloid 
See here for definitions and notation.
I don’t know which interesting properties totally bounded spaces have (except of their connection to compact spaces, but at the time of writing this compactness of funcoids is not yet properly defined).
Please post comments about properties of totally bounded spaces, in order to develop the theory further.
Today I’ve discovered a new kind of product of funcoids which I call “simple product”.
It is defined by the formulas
Please read my book.
I’ve put a partial partial proof of “Every filter on a set can be strongly partitioned into ultrafilters” conjecture at PlanetMath. Please collaborate in solving this conjecture.
I’ve created a site where anyone may list his projects and anyone may mark which projects he is going to participate. Projects are organized into a tree. The site supports LaTeX and has “Mathematics” section: http://theses.portonvictor.org/node/2
I have posted several pages on my math research project: http://theses.portonvictor.org/node/4 – feel free to add yours also.
The site is ideal for posting possible theses topics for students as well as cutting edge research for math persons. For a topic a user may mark himself as an adviser, which could help students.
Among mathematics this site is also going to list open source software proposals and whatever general utility projects.
Well, this project needs its own domain name. Please somebody donate a domain and help with hosting.
I have proved that for every funcoid 
![\mathcal{X} \mathrel{\left[ \Pr^{\left( A \right)}_k f \right]} \mathcal{Y} \Leftrightarrow \\ \prod^{\mathsf{RLD}}_{i \in \mathrm{dom}\, A} \left( \left\{ \begin{array}{ll} 1^{\mathfrak{F} \left( A_i \right)} & \mathrm{if}\, i \neq k ;\\ \mathcal{X} & \mathrm{if}\, i = k \end{array} \right. \right) \mathrel{\left[ f \right]} \prod^{\mathsf{RLD}}_{i \in \mathrm{dom}\, B} \left( \left\{ \begin{array}{ll} 1^{\mathfrak{F} \left( B_i \right)} & \mathrm{if}\, i \neq k ;\\ \mathcal{Y} & \mathrm{if}\, i = k \end{array} \right. \right) .](http://s0.wp.com/latex.php?latex=%5Cmathcal%7BX%7D+%5Cmathrel%7B%5Cleft%5B+%5CPr%5E%7B%5Cleft%28+A+%5Cright%29%7D_k+f+%5Cright%5D%7D+%5Cmathcal%7BY%7D+++++%5CLeftrightarrow+%5C%5C++%5Cprod%5E%7B%5Cmathsf%7BRLD%7D%7D_%7Bi+%5Cin+%5Cmathrm%7Bdom%7D%5C%2C+A%7D+++++%5Cleft%28+%5Cleft%5C%7B+%5Cbegin%7Barray%7D%7Bll%7D+++++++1%5E%7B%5Cmathfrak%7BF%7D+%5Cleft%28+A_i+%5Cright%29%7D+%26+%5Cmathrm%7Bif%7D%5C%2C+++++++i+%5Cneq+k+%3B%5C%5C+++++++%5Cmathcal%7BX%7D+%26+%5Cmathrm%7Bif%7D%5C%2C+i+%3D+k+++++%5Cend%7Barray%7D+%5Cright.+%5Cright%29+%5Cmathrel%7B%5Cleft%5B+f+%5Cright%5D%7D+++++%5Cprod%5E%7B%5Cmathsf%7BRLD%7D%7D_%7Bi+%5Cin+%5Cmathrm%7Bdom%7D%5C%2C+B%7D+%5Cleft%28+%5Cleft%5C%7B+++++%5Cbegin%7Barray%7D%7Bll%7D+++++++1%5E%7B%5Cmathfrak%7BF%7D+%5Cleft%28+B_i+%5Cright%29%7D+%26+%5Cmathrm%7Bif%7D%5C%2C+++++++i+%5Cneq+k+%3B%5C%5C+++++++%5Cmathcal%7BY%7D+%26+%5Cmathrm%7Bif%7D%5C%2C+i+%3D+k+++++%5Cend%7Barray%7D+%5Cright.+%5Cright%29+.+&bg=ffffff&fg=444444&s=0 "\mathcal{X} \mathrel{\left[ \Pr^{\left( A \right)}_k f \right]} \mathcal{Y} \Leftrightarrow \\ \prod^{\mathsf{RLD}}_{i \in \mathrm{dom}\, A} \left( \left\{ \begin{array}{ll} 1^{\mathfrak{F} \left( A_i \right)} & \mathrm{if}\, i \neq k ;\\ \mathcal{X} & \mathrm{if}\, i = k \end{array} \right. \right) \mathrel{\left[ f \right]} \prod^{\mathsf{RLD}}_{i \in \mathrm{dom}\, B} \left( \left\{ \begin{array}{ll} 1^{\mathfrak{F} \left( B_i \right)} & \mathrm{if}\, i \neq k ;\\ \mathcal{Y} & \mathrm{if}\, i = k \end{array} \right. \right) .")
My draft book is modified to include this new theorem.
I had a very great idea in the field of general topology, what I now call funcoids.
Years of my research of funcoids culminated me writing a research monograph about funcoids and related stuff.
But after I’ve finished this monograph and submitted it to a publisher, I realize that I get stuck. I have no idea how to prove any of conjectures I formulated, neither see any definitions of new concepts which could advance my research further.
I even think to switch to research in some other, unrelated field of mathematics.
This my book is probably already worth Abel Prize or Fields Medal, but I have no idea how to advance it further even for a little, I got stuck.
I added the definition and properties of “second reloidal product” (the definition was inspired by Tychonoff product of topological spaces) to my research monograph “Algebraic General Topology. Volume 1″.
See the subsection “Second reloidal product” in the section “Multireloids”.
