Finite–cofinite algebra