 Formally, some results about operations applied to computably enumerable (c.e.) and bi-immune sets are proven here, where the operations preserve bi-immunity.
<clarity>  Formally, some results about operations applied to computably enumerable (c.e.) and bi-immune sets are proven here, where the operations preserve bi-immunity.
 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.