Each join-completion of a partially ordered set in the solution of a universal problem