. "S-distributive ordered set" . "S-distributive ordered set" . .