In this paper we study $a$-coideals of sets in constructive mathematics, which are introduced in the papers [9] and [10].