翻訳と辞書 Words near each other ・ power ・ power cycle ・ power hit ・ power mac ・ power macintosh ・ power save mode ・ power supply ・ power supply unit ・ power-on self-test ・ powerbuilder ・ powerdomain ・ powerful ・ poweropen ・ poweropen association ・ poweropen environment ・ powerpc ・ powerpc 601 ・ powerpc g3 ・ powerpc platform ・ powerpc reference platform Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク powerdomain ： FOLDOC powerdomain The powerdomain of a domain D is a domain containing some of the {subsets} of D. Due to the asymmetry condition in the definition of a {partial order} (and therefore of a domain) the powerdomain cannot contain all the subsets of D. This is because there may be different sets X and Y such that X <= Y and Y <= X which, by the asymmetry condition would have to be considered equal. There are at least three possible orderings of the subsets of a powerdomain: Egli-Milner: X <= Y iff for all x in X, exists y in Y: x <= y and for all y in Y, exists x in X: x <= y ("The other domain always contains a related element"). Hoare or Partial Correctness or Safety: X <= Y iff for all x in X, exists y in Y: x <= y ("The bigger domain always contains a bigger element"). Smyth or Total Correctness or Liveness: X <= Y iff for all y in Y, exists x in X: x <= y ("The smaller domain always contains a smaller element"). If a powerdomain represents the re スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.