?? No, it isn't. If y is a lower bounds on S, x< y, then x is NOT in s and neither is the z above.
In fact, "infimum" cannot have anything to do with this property: If x and y are rational numbers then there exist a rational number between them (again (x+y)/2 is a rational number) but bounded sets of rational numbers do not necessarily have rational infimum.