and the second out of

. It will be seen that this definition does not require that

and

should not overlap; it even remains adequate when

and