Characterization of Non-Associative Ordered Semigroups by the Properties of F-Ideals. Issue 4 (1st October 2020)