ex f being Element of Funcs V ex A, B being Element of V st
( m = [[A,B],f] & ( B = {} implies A = {} ) & f is Function of A,B ) by Th4;
hence ( m `2 is Function-like & m `2 is Relation-like ) by MCART_1:7; :: thesis: verum