:: deftheorem Def2 defines Multilayer_perceptron_like NEURONS1:def 2 :
for N being FinSequence holds
( N is Multilayer_perceptron_like iff ex k being FinSequence of NAT st
( (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))) ) ) );