Talk:Ordinal Class is Strongly Well-Ordered by Subset

Handwavery?
What is there to understand, exactly? The intersection of the subclass is its smallest element. Thus the subclass has a smallest element. --Dfeuer (talk) 09:38, 24 April 2013 (UTC)


 * It needs to be stated explicitly. That's just how it works here. --prime mover (talk) 12:43, 24 April 2013 (UTC)