Changed the definition of order of pointfree funcoids
In my preprint I defined pre-order of pointfree funcoids by the formula $latex f\sqsubseteq g \Leftrightarrow [f]\subseteq[g]$. Sadly this does not define a poset, but only a pre-order. Recently I’ve found an other (non-equivalent) definition of an order on pointfree funcoids, this time this is a partial order not just a pre-order: $latex f \sqsubseteq […]