{X|X E N and x