In the expression ‘Nothing is larger than itself’ the relation ‘is larger…

Concept. A relation R on a set A is irreflexive when no element of A is related to itself — formally, for every x in A, the pair (x, x) does not belong to R. Irreflexivity is a claim about self-pairs alone: it imposes no condition on how R treats two distinct elements, and none on chains of three.

Application. Read the given sentence as a quantified statement about the relation ‘is larger than’, then follow the steps below.

1. Formalise the sentence: ‘Nothing is larger than itself’ denies, for every object x, that x is larger than x — that is, for all x, not (x R x).

2. Every pair the sentence rules out carries the same object in both slots, so only self-pairs (x, x) are involved; no pair of two different objects and no chain of three is mentioned.

3. ‘For all x, the pair (x, x) does not belong to R’ is exactly the definition recorded in the Concept step, so the property this expression ascribes to ‘is larger than’ is irreflexivity.

Cross-check against the other properties.

• Antisymmetry is the condition ‘if x R y and y R x both hold, then x = y’; it quantifies over two elements taken in each order and is silent about self-pairs — ‘is equal to’ is antisymmetric yet holds of every self-pair.

• Asymmetry is the condition ‘if x R y holds, then y R x fails’; it also quantifies over two elements taken in each order. The everyday relation ‘is larger than’ does satisfy it, but the given sentence denies only the self-pairs, so asymmetry is a stronger claim this expression never makes.

• Intransitivity is the condition ‘if x R y and y R z both hold, then x R z fails’; it quantifies over chains of three elements, while the sentence speaks of a single object compared with itself.

Result. The expression ‘Nothing is larger than itself’ states that ‘is larger than’ is irreflexive.