x | F x <= y