Skip to content
July 31, 2015 / porton

Another definition of pointfree reloids

In previous post I stated that pointfree reloids can be defined as filters on pointfree funcoids.

Now I suggest also an alternative definition of pointfree reloids: Pointfree reloids can be defined as filters on products \mathrm{atoms}\,\mathfrak{A} \times \mathrm{atoms}\,\mathfrak{B} of atoms of posets \mathfrak{A} and \mathfrak{B}.

In the case if \mathfrak{A} and \mathfrak{B} are powerset lattices, this definition coincides with the definition of reloids (and with the definition of pointfree reloids given in the previous post).

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: