Checks if a set or algebraic structure is empty.