Statement Mathematical Definition