https://9lib.org/document/yj7mn6j2-quotient-hyper-pseudo-bck-algebras.html