We give here the main theorem of the program which finds the non-
isomorphic ordered semigroups of finite order. The theorem has been
proved with the help of experimental results on computer. The program
listing in Turbo Pascal 6.0 is available, we can send it to interested
people by e-mail.