Proper (mathematics)