Osaliselt järjestatud hulk – teised keeled