I have almost finished developing theory of filters on posets (not including cardinality issues, maps between filters, and maybe specifics of ultrafilters).
Yeah, it is finished! I have completely developed a field of math.
Well, there remains yet some informal problems, see the attached image:
Note that as it seems nobody before me researched filters in details. Let us congratulate this scientific achievement.