لا يلي

تنفي أن يأتي x بعد y في الترتيب المحدد.

يتكوّن الرمز من ≻ مع شرطة مائلة للنفي. المقصود هو المجيء بعد عنصر في ترتيب، وليس النجاح، ولا يلزم أن يكون المجيء بعده مباشرة. والترتيب قاعدة تحدد موقع العناصر بعضها بالنسبة إلى بعض. في علاقات التفضيل، إذا كانت x ≻ y تعني تفضيل x على y تفضيلًا صارمًا، فإن x ⊁ y تنفي هذا التفضيل.

نفي العلاقة لا يعني بالضرورة إثبات عكسها. فقد يكون العنصران متساويين، أو غير قابلين للمقارنة: أي إن قواعد الترتيب لا تضع أحدهما قبل الآخر. لذلك لا تكفي عبارة «x لا يأتي بعد y» لإثبات أن «x يأتي قبل y».