Before revision:  Formally, some results about operations applied to computably enumerable (c.e.) and bi-immune sets are proven here, where the objective is for the operations to preserve bi-immunity.
After revision:  Formally, some results about operations applied to computably enumerable (c.e.) and bi-immune sets are proven here, where the operations preserve bi-immunity.