当前位置: 首页 > news >正文

网站开发项目需求书做商城网站多少钱

网站开发项目需求书,做商城网站多少钱,网站开发者工作描述,导视设计论文定义在集合S中的一个二元关系&#xff08;Binary Relation&#xff09;记&#xff0c;<&#xff0c;有&#xff08;S&#xff0c;<&#xff09;。如果对于集合S的任意非空子集&#xff0c;都存在关系&#xff08;<&#xff09;下的最小元素&#xff0c;那么该关系&…

        定义在集合S中的一个二元关系(Binary Relation)记,<,有(S,<)。如果对于集合S的任意非空子集,都存在关系(<)下的最小元素,那么该关系(<)成为良创关系(Well_Founded Relation),集合S与关系(<),即(S,<),称为良创集。亦:

(s ⊂ S ∧ s ≠ ∅ → (a ∈ s → ¬(∃x∈s.(x < a)))) → Well_Founded(S)

       可证,良序集(Well-Ordered Set)满足良创集的条件。即良序集为良创集。

        另外,给定义一个良创集(S,<),可定义关系(<)的高度(height),同时,赋予集合S中的每个元素 x 一个序数,称该序数为对应元素 x 的关系(<)层级 ( Rank of x in < )。

        那么,把这赋级规则看作是一函数 rank: S → Ordinal,其定义为

rank(x) = sup { rank(y) + 1: y < x } ( x ∈ S )

        该函数 rank 是唯一存在的。其证明可通过对层级进行归纳,定义各层级集合,如

                S₀ = ∅ ;

                Sₙ₊₁ = {s ∈ S: ∀t(t < s → t ∈ Sₙ)};

                Sₐ = ⋃ ᵢ<ₐ Sᵢ ( a 是极限序数(limit ordinal))

        那么,有 S₀ ⊂ S₁ ⊂ ...  ⊂ S。

        令,r 为该集合的最高层级,有 Sᵣ = S。

        如果 Sᵣ S,那么,(S - Sᵣ)⊂ S,而S为良创集,由此存在一个元素 a 是(S - Sᵣ)中,关系(<)下的最小元素,那么根据上述描述,a 存在于 Sᵣ₊₁ 中,与定义不符,因此,Sᵣ = S。

        其中 r 为 良创集(S,<)的高度。

http://www.yayakq.cn/news/950949/

相关文章:

  • 公司网站 seo网站如何优化关键词
  • 广告案例的网站手机网站制作案例
  • 做网站前怎么写文档网站seo整站优化
  • 网站如何做企业电子宣传册网站开发研究论文
  • 什么是网站建设的重点海洋cms怎么做电影网站
  • 网站建设游戏开发wordpress 附件 七牛
  • 雅安移动网站建设电子商务网站建设费用预算
  • 长春网站网络公司河源网站seo
  • 安论坛网站建设网站速度对seo的影响
  • 网站开发范例文档做猎头需要用到的网站
  • 网站权重能带来什么作用asp.net 多网站
  • 建设部 网站浙江省房屋建筑工程资料表格久久建筑网
  • 上海市企业服务云网站手机网站推广
  • 湛江论坛建站模板网站建设设计工具
  • 慕枫网站建设有哪些好的ps素材网站
  • 新手学做免费网站企业线上推广方案
  • WordPress子站站群网站开发视频转码
  • 分页网站百度关键词推广价格查询
  • 龙华网站建设哪家好蓝色phpcms律师网站模板phpcms律师
  • 湖南网站建设服务杭州 手机网站
  • 直播间 网站建设html5导航网站源码下载
  • wordpress 网站显示加载时长租房网站的财务分析表怎么做
  • 网站建设工具有哪些品牌解决做网站问题
  • 2016网站谷歌权重菏泽 做网站 多少钱
  • 典型的网站开发人员wordpress标签生成器
  • 大连工程建设信息网站我的世界搞头怎么做的视频网站
  • 商丘企业网站建设服务用wordpress 部署
  • 网站备案 seo潍坊 餐饮网站建设
  • 电子商务网站环境建设wordpress 小工具居中
  • 注册网站免费注册qq邮箱wordpress购物插件