A defaulted relational ([expr.rel]) operator function
for some operator @
shall have a declared return type bool.

The operator function with parameters x and y
is defined as deleted if

- overload resolution ([over.match]), as applied to x <=> y results in an ambiguity or a function that is deleted or inaccessible from the operator function, or
- the operator @ cannot be applied to the return type of x <=> y.

Otherwise, the operator function yields
x <=> y @ 0.