"Scheduled mail checks" - not push.
- Push mail - the app is supposed to "catch up" to any server side changes "near instantly" (new messages but not only, also messages changing read/unread, starred, deleted, etc.)
- Scheduled mail checks - the app "connects" and "checks mail" every N minutes / hours and gets, all at once, all the changes since last time.