This paper is devoted to the investigation of the property of order
separability for HNN extensions and free products with commutative subgroups.
Particularly it was proven that HNN extension of a free group with maximal
connected cyclic subgroups is 2-order separable.
We study the generalization of the notion of order separability for free
groups.