0
$\begingroup$

In the context of quasi-uniform spaces, what is a prorelation?

In the text I'm reading, they're defined as a down-directed upper set on relations X->Y.

Now, I'm fine with a down-directed up-set, but don't know of and couldn't find any preorder on a collection of relations from X to Y, let alone a partial order in order to define an up-set

Improve this question
$\endgroup$
1
  • 5
    $\begingroup$ The set of relations has a natural order : the inclusion. It's the one that is used in the first paragraph of the introduction, when they say $1_X\leq a , a\cdot a \leq a$ for preorders $\endgroup$
    – Maxime Ramzi
    Commented Apr 26, 2020 at 8:13

1 Answer 1

Reset to default
0
$\begingroup$

Turns out, a prorelation is just a filter on the set of relations X to Y -_-

Improve this answer
$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .