Lineáris leképezés definíciója