coideal (ideal + co-; together_joint)
A particular linear subspace in a coalgebra