>>もし、最大限 m と上限 s が別々に存在したとすると、

「別々に存在」というのは「最大元と上限が異なるとすると」という意味ですね。
最大元と上限が両方とも存在して一致する場合というのは？