infra and sup