"Model theoretic properties of S-acts and S-poset".