| dbo:abstract
|
- Egy halmazt nem-jólfundáltnak nevezünk, ha (első) tagja egy olyan sorozatnak, melyben minden rákövetkező tag az előző eleme, azaz indul belőle egy végtelen, „befelé” futó „∈-sor”. Ellenkező esetben jólfundált. Egy relációt jólfundáltnak nevezünk X osztályon akkor és csak akkor, ha X-nek minden nem-üres részhalmazának van minimális eleme R-re nézvést; azaz X minden S (nem-üres) részhalmazának van olyan m eleme, hogy minden s∈S elemre: (s,m) pár nem eleme R-nek. (hu)
- Egy halmazt nem-jólfundáltnak nevezünk, ha (első) tagja egy olyan sorozatnak, melyben minden rákövetkező tag az előző eleme, azaz indul belőle egy végtelen, „befelé” futó „∈-sor”. Ellenkező esetben jólfundált. Egy relációt jólfundáltnak nevezünk X osztályon akkor és csak akkor, ha X-nek minden nem-üres részhalmazának van minimális eleme R-re nézvést; azaz X minden S (nem-üres) részhalmazának van olyan m eleme, hogy minden s∈S elemre: (s,m) pár nem eleme R-nek. (hu)
|
