lower set A {finite} non-empty {downward closed} subset of a {partial order}. (1999-03-17)
版權所有 © 2025 3Dict.net