Some theorems about constructions of $a$-coideals on the cartesian product of sets


Daniel Avraám Romano




In constructive mathematics determining of $a$-coideals of the Cartesian product of sets is heavier from determining of filters in classical mathematics. This short note contains some theorems about constructions of $a$-coideals of the Cartesian product of sets.