A user-guided reduction concept lattice and its algebraic structure. (1st May 2023)