Up to now point-free insertion results have been obtained only for semicontinuous real functions. Notably, there is now available a setting for dealing with arbitrary, not necessarily (semi-)continuous, point-free real functions, due to Gutiérrez Garćıa, Kubiak and Picado, that gives point-free topology the freedom to deal with general real functions only available before to point-set topology....
