Ensemble (mathématiques)/Post-notions