Finite-cofinite algebra