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