Fork me on GitHub
Math for the people, by the people.

User login

freely generated inductive set

Defines: 
inductive closure
Type of Math Object: 
Definition
Major Section: 
Reference
Parent: 
Groups audience: 

Mathematics Subject Classification

03B99 no label found03E20 no label found

Subscribe to Comments for "freely generated inductive set"