Малые теории линейного порядка, счётные модели и свойства 2-формул на множестве реализаций 1-типа