Dokazuje fundamentální vztah mezi konečnými maximálními antiřetězci a konečnými dualitami pro k-ární relace.