Residuated mapping
id:
residuated-mapping-266-8946729
title:
Residuated mapping
text:
In mathematics, the concept of a residuated mapping arises in the theory of partially ordered sets. It refines the concept of a monotone function. If A, B are posets, a function f: A → B is defined to be monotone if it is order-preserving: that is, if x ≤ y implies f(x) ≤ f(y). This is equivalent to the condition that the preimage under f of every down-set of B is a down-set of A. We define a principal down-set to be one of the form ↓{b} = { b' ∈ B : b' ≤ b }. In general the preimage under f of
brand slug:
wiki
category slug:
encyclopedia
description:
Concept in mathematics
original url:
https://en.wikipedia.org/wiki/Residuated_mapping
date created:
date modified:
2024-04-07T23:05:24Z
main entity:
{"identifier":"Q7315523","url":"https://www.wikidata.org/entity/Q7315523"}
image:
fields total:
13
integrity:
14