:: deftheorem defines is_Multilayer_perceptron_with NEURONS1:def 1 :
for n being Nat
for k being FinSequence of NAT
for N being FinSequence holds
( N is_Multilayer_perceptron_with k,n iff ( len N = n & (len N) + 1 = len k & ( for i being Nat st 1 <= i & i < len k holds
N . i is Function of (REAL-NS (k . i)),(REAL-NS (k . (i + 1))) ) ) );