Your English writing platform
Discover LudwigExact(10)
Definition 1 Let X be an ordered partial metric space.
Definition 11 Let ( X, p b ) be an ordered partial b-metric space.
Definition 1.10 Let ( X, p, ⪯ ) be an ordered partial metric space.
Let ( X, ⪯, p b ) be an ordered partial b-metric space, and let f : X → X be a mapping.
Let ( X, ⪯, p b ) be an ordered partial b-metric space with the coefficient s ≥ 1, and let f, g : X → X be two mappings.
Definition 12 Let ( X, ⪯, p b ) be an ordered partial b-metric space, and let ψ and φ be altering distance functions.
Similar(50)
Then ( X, p, ⪯ ) is called an ordered (partial) metric space if: (i) ( X, p ) is a (partial) metric space, and (ii) ( X, ⪯ ) is a partially ordered set. . ( X, p ) is a (partial) metric space, and.
Definition 3.2 Let ( X, p ) be a partially ordered partial metric space and F : X n → X be a given mapping.
Let ((X,p,sqsubseteq)) be a partially ordered partial cone metric space over a solid cone P of a normed vector space ((E,Vert cdot Vert )).
Consistent with this mechanism, the secondary conformation of the 79 83 loop is accompanied by an ordered, partial-occupancy water molecule.
Corollary 4 Let ( X, ⪯, p ) be a complete partially ordered partial metric space.
Write better and faster with AI suggestions while staying true to your unique style.
Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak
CEO of Professional Science Editing for Scientists @ prosciediting.com