da solaàl » 13/04/2020, 15:59
Qualcosa del genere?
https://mathworld.wolfram.com/InitialSegment.html il segmento iniziale di $x\in P$ è \(\uparrow x\). Per estensione, direi che i maggioranti o minoranti di un sottoinsieme \(A\subseteq P\) si indicano con \(\uparrow A\).
"In verità le cose che nella vita sono tenute in gran conto si riducono a vanità, o putredine di nessun valore; botoli che si addentano, bambocci litigiosi che ora ridono, poi tosto piangono." (Lotario conte di Segni)