Частично упорядоченное множество (матем.), см. Упорядоченные и частично упорядоченные множества.