Понятие частично упорядоченного множества. Функция Мебиуса для частично упорядоченного множества. Цепи и антицепи. Теорема Дилуорса (б/д). Теорема Мирского.