| 
                                ✖Количество непустых отношений от A до B — это количество упорядоченных пар (a, b), таких что a ∈ A и b ∈ B, и все они являются подмножеством A × B, за исключением подмножества ϕ множества A × B. .ⓘ Количество непустых отношений из множества A в множество B [NNon Empty Relations]
                             |  | 
                                
                             
                                
                             | 
                                ⎘ копия
                             |