Intersection with a staroid product through its upper sets

Prerequisites: \href General Topology.

Conjecture. Let 𝔉 is a family of sets of filters on distributive lattices with least elements. Let a𝔉, S𝒫𝔉 is a generalized filter base, S=a, f is a staroid of the form 𝔉. Then


(This conjecture may be weakened for the special case of filters on powersets.)

Title IntersectionMathworldPlanetmath with a staroid productPlanetmathPlanetmath through its upper sets
Canonical name IntersectionWithAStaroidProductThroughItsUpperSets
Date of creation 2013-03-22 19:48:39
Last modified on 2013-03-22 19:48:39
Owner porton (9363)
Last modified by porton (9363)
Numerical id 2
Author porton (9363)
Entry type Conjecture
Classification msc 54J05
Classification msc 54A05
Classification msc 54D99
Classification msc 54E05
Classification msc 54E17
Classification msc 54E99