Definition:Branch (Set Theory)