Если так: [AB] U [BA] = [AB], то - истинно.
Действительно: если все точки одного отрезка являются одновременно всеми точками другого отрезка, то речь может идти только об одном отрезке.
В данном случае конец первого отрезка совпадает с началом второго, а конец второго совпадает с началом первого. Следовательно, результатом геометрического объединения этих двух отрезков будет один из них.
Если рассматривать отрезок, как множество точек, заключенное между двумя крайними, то можно сказать, что все элементы первого множества точек являются также всеми элементами второго множества точек. Значит, эти множества совпадают, а результатом их объединения будет любое из двух.