Generalized semiorder

Материал из WEGA

Generalized semiorder --- обобщенный полупорядок.