Constructive mathematics related domains (1)