Simbolo per l'insieme dei maggioranti

[marco2132k]

Ciao. C'è un simbolo standard per denotare l'insieme dei maggioranti (minoranti) di un sottoinsieme di un poset?

[solaàl]

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\).

[marco2132k]

Grazie.