Given a set , its characteristic function is: