Up-complete Product