\bigvee is poorly defined

[hacker-DOM]

The YP states:

\bigvee - This is the least upper bound, supremum, or join of all elements operated on. Thus it is the greatest element of such elements.

\bigvee is used two times in the paper:

Eq(26):

Eq(31):

In both cases, it represents the bit-wise OR of its operands. Mathematically, this is certainly not equal to the greatest of the elements as the definition states.

Source:

yellowpaper/Paper.tex

Line 2753 in 6ef6062

\linkdest{bigvee}$\bigvee$ & \verb|\bigvee| & This is the least upper bound, supremum, or join of all elements operated on. Thus it is the greatest element of such elements (\cite{Davey2002_zbMATH01748069}).\\