involutive Pommaret basis in a Boolean ring