Forcing algebra/Ideal and element/Definition