Observations

Ну давайте тогда в бытовом смысле говорить о множестве всех предикатов. Чего там.

Я просто хотел бы заметить, что, с математической точки зрения, множество - это не мысленный образ группы предметов, объединённых по какому-то признаку, а элемент теории множеств. Где теория множеств определяется той или иной системой аксиом.

Аналогично и прямая. Вы проводите прутиком по земле прямую, но вы понимаете, что это не прямая и не линия.