D (constructor)
definition_of_noetherian [in definition_of_noetherian]
Definition_of_Directed [in Definition_of_Directed]
Definition_of_PER [in Definition_of_PER]
Definition_of_covers [in Definition_of_covers]
Definition_of_Power_set [in Definition_of_Power_set]
Definition_of_chain [in Definition_of_chain]
Definition_of_equivalence [in Definition_of_equivalence]
Definition_of_Conditionally_complete [in Definition_of_Conditionally_complete]
Definition_of_order [in Definition_of_order]
Definition_of_Complete [in Definition_of_Complete]
Definition_of_preorder [in Definition_of_preorder]
Definition_of_cpo [in Definition_of_cpo]
Definition_of_PO [in Definition_of_PO]
Defn_of_Approximant [in Defn_of_Approximant]
did_normalization [in did_normalization]
Disjoint_intro [in Disjoint_intro]
divex [in divex]
do_subrelation [in do_subrelation]
d_nil [in d_nil]
d_one [in d_one]
d_conc [in d_conc]
D0 [in D0]
D1 [in D1]