Subsumpcja (matematyka)