Order-preserving maps
Clash Royale CLAN TAG#URR8PPP
up vote
0
down vote
favorite
If I understand correctly, order-preserving maps are generally defined between reflexive, transitive, anti-symmetric relations (Posets).
Does it make sense to talk about "order-preserving maps" between reflexive and transitive relations (Quasi-orderings)? Is there an equivalent term?
order-theory
add a comment |Â
up vote
0
down vote
favorite
If I understand correctly, order-preserving maps are generally defined between reflexive, transitive, anti-symmetric relations (Posets).
Does it make sense to talk about "order-preserving maps" between reflexive and transitive relations (Quasi-orderings)? Is there an equivalent term?
order-theory
add a comment |Â
up vote
0
down vote
favorite
up vote
0
down vote
favorite
If I understand correctly, order-preserving maps are generally defined between reflexive, transitive, anti-symmetric relations (Posets).
Does it make sense to talk about "order-preserving maps" between reflexive and transitive relations (Quasi-orderings)? Is there an equivalent term?
order-theory
If I understand correctly, order-preserving maps are generally defined between reflexive, transitive, anti-symmetric relations (Posets).
Does it make sense to talk about "order-preserving maps" between reflexive and transitive relations (Quasi-orderings)? Is there an equivalent term?
order-theory
asked Jul 19 at 15:24
Matteo Corsi
11
11
add a comment |Â
add a comment |Â
1 Answer
1
active
oldest
votes
up vote
2
down vote
Quasi-order preserving is fine.
Note that it makes sense to talk about a relation-preserving map between two sets endowed with arbitrary relations. That is, a map $f:Ato B$ such that $$forall x,yin A, left[xmathcalR_A yimplies f(x)mathcalR_B f(y)right]$$
Very clear, thank you very much!
– Matteo Corsi
Jul 20 at 7:56
@MatteoCorsi You're welcome!
– Arnaud Mortier
Jul 20 at 8:54
add a comment |Â
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
2
down vote
Quasi-order preserving is fine.
Note that it makes sense to talk about a relation-preserving map between two sets endowed with arbitrary relations. That is, a map $f:Ato B$ such that $$forall x,yin A, left[xmathcalR_A yimplies f(x)mathcalR_B f(y)right]$$
Very clear, thank you very much!
– Matteo Corsi
Jul 20 at 7:56
@MatteoCorsi You're welcome!
– Arnaud Mortier
Jul 20 at 8:54
add a comment |Â
up vote
2
down vote
Quasi-order preserving is fine.
Note that it makes sense to talk about a relation-preserving map between two sets endowed with arbitrary relations. That is, a map $f:Ato B$ such that $$forall x,yin A, left[xmathcalR_A yimplies f(x)mathcalR_B f(y)right]$$
Very clear, thank you very much!
– Matteo Corsi
Jul 20 at 7:56
@MatteoCorsi You're welcome!
– Arnaud Mortier
Jul 20 at 8:54
add a comment |Â
up vote
2
down vote
up vote
2
down vote
Quasi-order preserving is fine.
Note that it makes sense to talk about a relation-preserving map between two sets endowed with arbitrary relations. That is, a map $f:Ato B$ such that $$forall x,yin A, left[xmathcalR_A yimplies f(x)mathcalR_B f(y)right]$$
Quasi-order preserving is fine.
Note that it makes sense to talk about a relation-preserving map between two sets endowed with arbitrary relations. That is, a map $f:Ato B$ such that $$forall x,yin A, left[xmathcalR_A yimplies f(x)mathcalR_B f(y)right]$$
answered Jul 19 at 15:38
Arnaud Mortier
19k22159
19k22159
Very clear, thank you very much!
– Matteo Corsi
Jul 20 at 7:56
@MatteoCorsi You're welcome!
– Arnaud Mortier
Jul 20 at 8:54
add a comment |Â
Very clear, thank you very much!
– Matteo Corsi
Jul 20 at 7:56
@MatteoCorsi You're welcome!
– Arnaud Mortier
Jul 20 at 8:54
Very clear, thank you very much!
– Matteo Corsi
Jul 20 at 7:56
Very clear, thank you very much!
– Matteo Corsi
Jul 20 at 7:56
@MatteoCorsi You're welcome!
– Arnaud Mortier
Jul 20 at 8:54
@MatteoCorsi You're welcome!
– Arnaud Mortier
Jul 20 at 8:54
add a comment |Â
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2856738%2forder-preserving-maps%23new-answer', 'question_page');
);
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password