Kirby says: >Lots of interesting musings and speculations, but I see nothing there to dissuade us from sharing more widely and effectively what 21st century math notations include
Functional or "to one" relationships are pretty well understood today, no need to imbue them with mystical powers of action, or connotations of "belonging to" or "contained within". By the way, which is it? "Belong to"? or "contained in", or yet more? Is "dot" a superverb?